Es ist \(f'(x)=p/2(x^2+1)^{\frac{p-2}{2}}\cdot 2x-px^{p-1}\)
Mit der Bernoullischen Ungleichung folgt:
\(f'(x)\geq p ((x^{p-1}+\frac{p-2}{2})x-x^{p-1})=p\frac{p-2}{2}x\gt 0\) für \(x\gt 0\).
Die Funktion wächst also streng monoton in \((0,\infty)\) und es ist \(f(x)\gt 0=f(0)\)
für \(x\gt 0\), also wächst sie sogar streng monoton in \([0,\infty)\).
Somit ist \((x^2+1)^{p/2}>x^p+1\). Quadrieren liefert:
\((x^p+1)^2\lt (x^2+1)^p\) für \(x\gt 0\).