theorem :: NEWTON04:88

for a, b being positive Real
for n being non zero Nat holds Sum (((a + b),0) Subnomial (n + 1)) > Sum ((a,b) Subnomial (n + 1))