theorem Th17: :: DIOPHAN2:16

for b being Real
for n being Integer st n <= b & b <= n + 1 holds
|.(n - b).| * |.((n + 1) - b).| <= 1 / 4