MathItems

Theorem T44

(1a)n1na(1 - a)^n \geq 1 - n a

for 0<a<10 < a < 1 and n0n \geq 0.