A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Legyen először , és tegyük fel, hogy az egyenlőtlenségrendszer megoldható. Ekkor
(1) szerint pozitív, tehát (2) és (3) alapján . Másfelől (4) szerint , így , ahonnan . Azt kaptuk, hogy ha , akkor az egyenlőtlenségrendszernek nincs megoldása. Megmutatjuk, hogy ha vagy , akkor megoldható. Ezt nyilván elegendő -re igazolni, ami pontosan azt jelenti, hogy az alábbi négy intervallum közös része nem üres: | |
miatt . A egyenlőtlenségsorozatból hatodik gyököt vonva kapjuk, hogy . Állításunk most már következik abból, hogy és közös része nem üres. A egyenlőtlenségláncból -dik gyököt vonva vagyis , ennek pedig például az eleme. Az egyenlőtlenségrendszer tehát az , és értékekre oldható meg.
Megjegyzés. Az, hogy az esetben nincs megoldás, adódik abból is, hogy már a és az egyenlőtlenségrendszernek sincs megoldása, mert |