for k being Nat st 1 <= k holds
+infty |^ k = +infty