Proof. a)
is piecewise continuous on
, so is Riemann integrable on this interval.
Write
the
-th prime number :
. Let
a real number. Define
by
Then
For
,
is a constant, and equal to
, because the primes not exceeding
are
:
Therefore
and similarly
Replacing these values in (1), we obtain
Using
, this gives
Since
are the prime numbers
, we conclude
b) The limit superior of a function
, defined on a neighborhood of
, is defined by
Since
is a decreasing function, this limit exists in
.
Assume for contradiction that
Then, taking
, there exists
such that
so
Writing
, then
, and for all
,
that is
By Theorem 1.9.1,
Then, by the equality (2), for every
,
Writing
the constant
, this gives, using
,
The inequality (3) gives
where
is a constant.
Dividing by
, we obtain, for all
,
therefore
This shows
: this is a constradiction, since
, so
□