Consider the sequence defined by a1=2022 and an+1=an+e−an for n≥1. Prove that there exists a positive real number r for which the sequence {ra1},{ra10},{ra100},...converges.Note: {x}=x−⌊x⌋ denotes the part of x after the decimal point.Proposed by Ethan Tan ICMCcollege contestsreal analysisConvergenceSequencesfloor function