Día: 5 noviembre 2023

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

• 1. La suma de dos funciones acotadas superiormente también lo está
• 2. La suma de dos funciones acotadas inferiormente también lo está
• 3. Si a es una cota superior de f y c ≥ 0, entonces ca es una cota superior de cf
• 4. Si c ≥ 0 y f está acotada superiormente, entonces c·f también lo está
• 5. Si x e y son sumas de dos cuadrados, entonces xy también lo es

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (5 de noviembre de 2023)”