theorem Th17: :: PREPOWER:17

for a being Real
for n being natural Number st 0 < a & a < 1 holds
(1 + a) |^ n <= 1 + ((3 |^ n) * a)