Explicitly, this means
It can be shown that
or
It is often used in formulations of the prime number theorem.