theorem Th29: :: INT_1:29

for r being Real holds r < [\r/] + 1