MathDB
Does there exists a real p such that f(n)/n ≥ p for all n?

Source: IMO LongList 1970 - P49

May 22, 2011
limitnumber theory proposednumber theory

Problem Statement

For nNn \in \mathbb N, let f(n)f(n) be the number of positive integers knk \leq n that do not contain the digit 99. Does there exist a positive real number pp such that f(n)np\frac{f(n)}{n} \geq p for all positive integers nn?