theorem :: PEPIN:66

for r being Real
for m, n being Nat st r > 1 & m > n holds
r |^ m > r |^ n