theorem Th9: :: PREPOWER:9

for a, b being Real
for n being natural Number st 0 < a & a <= b holds
a |^ n <= b |^ n