Prove that for all x ∈ R, if x − ⌊x⌋ < 1/2 , then ⌊2x⌋ = 2⌊x⌋.