for n, k being Nat st n > 1 holds
n |^|^ k > k