MathDB
Exponential sequence converges in fractional parts

Source: ICMC 2023 Round 1 P6

November 28, 2022
ICMCcollege contestsreal analysisConvergenceSequencesfloor function

Problem Statement

Consider the sequence defined by a1=2022a_1 = 2022 and an+1=an+eana_{n+1} = a_n + e^{-a_n} for n1n \geq 1. Prove that there exists a positive real number rr for which the sequence {ra1},{ra10},{ra100},...\{ra_1\}, \{ra_{10}\}, \{ra_{100}\}, . . . converges.
Note: {x}=xx\{x \} = x - \lfloor x \rfloor denotes the part of xx after the decimal point.
Proposed by Ethan Tan