Miksi ?

Tehdään todistus kunnolla, ei geometrisesti.

Siis , kun

jakamalla lla saadaan

Ok,  ja  ovat selvästi suurempi tai yhtään suuri kun 0, silloin kun , voidaan ota itseisarvo merkit pois:

Nyt ilmaan ongelma voidaan vaihda suunta, tulee 

, sitten

 

Tai sitten

 

Tästä tulee johtopäätös että myös