Q49 Matemática  (IMO Longlists 1970)

Para $n\in \mathbb{N}$, seja $f(n)$ o número de inteiros positivos $k\le n$ que não contêm o dígito $9$. Existe um número real positivo $p$ tal que $\frac{f(n)}{n}\ge p$ para todos os inteiros positivos $n$?