Hier eine einfachere und leichter einzusehende Beweisvariante:
$$ \text{Sei } 0 < x < y < z < 1.\text{ Dann gilt:}\\\,\\ x^2 + y^2 + z^2 < xy + yz + zx + z - x. \\\,\\ \text{Beweis: Die Aussage ist äquivalent zu }\\\,\\ 0 < xy-x^2 + yz-y^2 + zx-z^2 + z - x \\\,\\ 0 < x\cdot\left(y-x\right) + y\cdot\left(z-y\right) + \left(1-z\right)\cdot\left(z-x\right).\\\,\\ \text{Alle Faktoren sind nach Voraussetzung positiv.} $$Beim Generieren von derartigen Aussagen kann man umgekehrt vorgehen.