EDB — 0BV

Exercises

1. [0BV]Note that \(k=⌊ x ⌋\) is the only integer for which you have \(k≤ x {\lt} k+1\) or equivalently \(0≤ (x-k){\lt}1\) or equivalently \(x-1{\lt}k≤ x\).