for a being positive non heavy Real
for b being positive Real holds a + b > a * b