for n being Nat
for r being Real
for k being Nat st k >= n & r >= 1 holds
r |^ k >= r |^ n