theorem :: NEWTON:86

for n, i being Nat st 2 <= i holds
i |^ n > n