MathDB
Sum of the digits of x greater than that of 2x

Source: Cono Sur 2004 #3

November 18, 2015
number theorycono sur

Problem Statement

Let nn be a positive integer. We call CnC_n the number of positive integers xx less than 10n10^n such that the sum of the digits of 2x2x is less than the sum of the digits of xx. Show that Cn49(10n1)C_n\geq\frac{4}{9}(10^{n}-1).