Día: 13 noviembre 2022

Esta semana he publicado en Calculemus las demostraciones con Lean 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 a·b es una cota superior de f·g
• 2. La suma de dos funciones monótonas es monótona
• 3. Si f es monótona y c ≥ 0, entonces c·f 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 “DAO: La semana en Calculemus (11 de noviembre de 2022)”