Si a, b, c ∈ ℝ tales que a ≤ b, entonces c – eᵇ ≤ c – eᵃ
Demostrar que si a, b, c ∈ ℝ tales que a ≤ b, entonces c – eᵇ ≤ c – eᵃ.
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 9 |
import analysis.special_functions.log.basic import tactic open real variables a b c : ℝ example (h : a ≤ b) : c - exp b ≤ c - exp a := sorry |
Read More «Si a, b, c ∈ ℝ tales que a ≤ b, entonces c – eᵇ ≤ c – eᵃ»