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