Si a, b ∈ ℝ, entonces |a| – |b| ≤ |a – b|
Sean a y b números reales. Demostrar que
|
1 |
|a| - |b| ≤ |a - b| |
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 6 |
import data.real.basic variables a b : ℝ example : |a| - |b| ≤ |a - b| := sorry |