theorem Th25: :: NUMBER17:25

for m being Nat
for r being Real st m > 1 holds
ex n being positive Nat st m |^ (m |^ n) > r