theorem Th65: :: PEPIN:65

for r being Real
for n being Nat st 0 < n & 1 < r holds
1 < r |^ n