Si a, b, c, d, f ∈ ℝ tales que a ≤ b y c < d, entonces a + eᶜ + f < b + eᵈ + f
Demostrar que si a, b, c, d, f ∈ ℝ tales que
1 2 |
a ≤ b c < d |
entonces
1 |
a + eᶜ + f < b + eᵈ + f |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 9 |
import analysis.special_functions.log.basic open real variables a b c d f : ℝ example (hab : a ≤ b) (hcd : c < d) : a + exp c + f < b + exp d + f := sorry |
Read More «Si a, b, c, d, f ∈ ℝ tales que a ≤ b y c < d, entonces a + eᶜ + f < b + eᵈ + f"