MathDB
Prove the upper bound on the sequence x_n

Source: Balkan MO ShortList 2009 A3

April 6, 2020

Problem Statement

Denote by S(x)S(x) the sum of digits of positive integer xx written in decimal notation. For kk a fixed positive integer, define a sequence (xn)n1(x_n)_{n \geq 1} by x1=1x_1=1 and xn+1x_{n+1} == S(kxn)S(kx_n) for all positive integers nn. Prove that xnx_n << 27k27 \sqrt{k} for all positive integer nn.