Problem:
Prove that there is no positive integer with the following property: For , the leftmost digit - in decimal notation - of is equal to .
Problem:
Prove that there is no positive integer with the following property: For , the leftmost digit - in decimal notation - of is equal to .
Solution:
We assume that there exists a number with the required property. Then none of the factorials can be a power of ten, because from onward all factorials are divisible by and the first few factorials obviously do not have the required property. Also, none of the numbers can be a power of ten, because otherwise the leading digit of two consecutive factorials in the sequence under consideration would be the same. Thus there is a such that (1).
Because begins with an and begins with a , there are natural numbers and with and , which leads to .
With (1) it follows that and (2).
Since begins with , there is an such that , while from (2) it follows that: .
Multiplying the last two inequalities gives , which, because , can be weakened to . From this it follows that the number would not begin with , but with , or - contradicting the assumption.