A sequence a0,a1,a2,...,an,... is such that a0=1 and, for each n≥0 , an+1=m⋅an , where m is an integer between 2 and 9 inclusive. Also, every integer between 2 and 9 has even been used at least once to get an+1 from an . Let Sn the sum of the digits of an , n=0,1,2,... . Prove that Sn≥Sn+1 for infinite values of n. sum of digitsDigitsrecurrence relationnumber theory