Es ist eine Definition.
Ein paar Beispiele:
f(0) = 0, weil 0 ≤ 0 < 1
f(3/4) = 3/4, weil 0 ≤ 3/4 < 1
f(1) = f(0+1) = f(0) = 0 weil nicht 0 ≤ 1 < 1.
f(16/5) = f(11/5+1) = f(11/5) = f(6/5 + 1) = f(6/5) = f(1/5 + 1) = f(1/5) = 1/5 weil
16/5 > 11/5 > 6/5 ≥ 1 > 1/5 ≥ 0.