A sequence of real numbers a0,a1,a2,… is defined by the formula ai+1=⌊ai⌋⋅⟨ai⟩ for i≥0; here a0 is an arbitrary real number, ⌊ai⌋ denotes the greatest integer not exceeding ai, and ⟨ai⟩=ai−⌊ai⌋. Prove that ai=ai+2 for i sufficiently large. (Estonia)