for e being Real
for b, c, d being non negative Real st d < e / ((2 * b) * |.c.|) holds
( b is positive & c is positive )