La semana en Calculemus (14 de octubre de 2023)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. Si a es una cota superior no negativa de f y b es es una cota superior de la función no negativa g, entonces ab es una cota superior de fg
- 2. La suma de dos funciones monótonas es monótona
- 3. Si c es no negativo y f es monótona, entonces cf es monótona
- 4. La composición de dos funciones monótonas es monótona
- 5. La suma de dos funciones pares es par
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (14 de octubre de 2023)”