for a being Real
for n being natural Number st - 1 < a holds
(1 + a) |^ n >= 1 + (n * a)