theorem Th85: :: NEWTON:85

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