MathDB
Problems
Contests
International Contests
IMO Longlists
1970 IMO Longlists
49
49
Part of
1970 IMO Longlists
Problems
(1)
Does there exists a real p such that f(n)/n ≥ p for all n?
Source: IMO LongList 1970 - P49
5/22/2011
For
n
∈
N
n \in \mathbb N
n
∈
N
, let
f
(
n
)
f(n)
f
(
n
)
be the number of positive integers
k
≤
n
k \leq n
k
≤
n
that do not contain the digit
9
9
9
. Does there exist a positive real number
p
p
p
such that
f
(
n
)
n
≥
p
\frac{f(n)}{n} \geq p
n
f
(
n
)
≥
p
for all positive integers
n
n
n
?
limit
number theory proposed
number theory