theorem :: NEWTON03:103

for a, b being positive Real
for n being non trivial Nat holds (a + b) |^ n > (a |^ n) + (b |^ n)