Si c ≥ 0 y f está acotada superiormente, entonces c * f también lo está

Demostrar que si c ≥ 0 y f está acotada superiormente, entonces c * f también lo está.

Para ello, completar la siguiente teoría de Lean:

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Escribe un comentario