Si a, b, c, d, e ∈ ℝ tales que a ≤ b, b < c, c ≤ d, d < e, entonces a < e
Demostrar que si a, b, c, d, e ∈ ℝ tales que
1 2 3 4 |
a ≤ b b < c c ≤ d d < e |
entonces
1 |
a < e |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 9 10 11 |
import data.real.basic variables a b c d e : ℝ example (h₀ : a ≤ b) (h₁ : b < c) (h₂ : c ≤ d) (h₃ : d < e) : a < e := sorry |
Read More «Si a, b, c, d, e ∈ ℝ tales que a ≤ b, b < c, c ≤ d, d < e, entonces a < e"