Demostrar que si a, b, c, d, f ∈ ℝ tales que

entonces

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

Read More «Si a, b, c, d, f ∈ ℝ tales que a ≤ b y c < d, entonces a + eᶜ + f < b + eᵈ + f"