Hallo Mia,
im Folgenden wird  |a|2 = a2  ohne Erwähnung benutzt
| |x| - |y| |  ≤ | x - y |    |2
⇔  ( |x| - |y| )2 ≤ ( x - y)2   | 2. binomische Formel anwenden:
⇔ |x|2 - 2 |x| |y| + |y|2 ≤ x2 - 2 xy + y2
⇔   - 2 |x| |y| ≤  - 2 xy   | : (-2)  [ negativ,  ≤ → ≥ ]
⇔  |x| • |y| ≥ xy             |  es gilt  |a| • |b|  ≥ a • b : 
⇔ | xy|  ≥  xy   , was offensichtlich für alle x,y ∈ ℝ wahr ist
Gruß Wolfgang