Equivalence of Definitions of Distance to Nearest Integer Function

Theorem
The following definitions of the nearest integer function $\left\Vert{\cdot}\right\Vert: \R \to \left[{0 \,.\,.\, \dfrac 1 2}\right]$ are equivalent: