Sei \(x\geq y\) mit \(x,y\geq 0\). Dann gilt
\(x^2=x\cdot x\geq y\cdot y=y^2\), wie man aus den Regeln für "\(\geq\)"
ersehen kann. Ist nun bereits \(x^n\geq y^n\) gezeigt, so gilt auch
\(x^{n+1}=x\cdot x^n\geq y\cdot y^n=y^{n+1}\). Gemäß vollst.
Induktion ist also \(x^n \geq y^n\) für alle nat. \(n > 0\).
Nun führe \(0<a<b\) und zugleich \(\sqrt[n]{a}\geq \sqrt[n]{b}\) zum Widerspruch.