for i being Integer
for r being Real st i <= r holds
i <= [\r/]