Show that there is a positive integer n such that the first 1992 digits of n1992 are 1.
Solution
We only need to prove that there are positive integers n, k such that 199211…11⋅10k≤n1992<199111…12⋅10k⟺199211…11⋅10t≤n<199211…12⋅10t in which k=1992t. Suppose the decimal expansions of 199211…11 and 199211…12 differ in the tth position. So n=1992199211…11⋅10t+1 suffices.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.