Adott:
Meg tudjuk írni az egyenlőtlenséget:
7 kivonás mindkét oldalról:
Az abszolút érték függvény részleges meghatározása miatt
Az első egyenlőtlenség mindkét oldalát szorozzuk -1-tel:
Adjon 1-et mindkét oldalra mindkét egyenlőtlenségre:
A két egyenlőtlenség mindkét oldalának megosztása:
Ez a következőképpen írható:
Ellenőrzés céljából ellenőrzöm, hogy a végpontok 16:
Mindkét ellenőrzés.