Sum of Reciprocals of Primes is Divergent

Theorem
Let $n \in \N: n \ge 1$.

There exists a (strictly) positive real number $C \in \R_{>0}$ such that:


 * $\displaystyle \sum_{\substack {p \mathop \in \Bbb P \\ p \mathop \le n} } \frac 1 p > \ln \left({\ln n}\right) - C$


 * $\displaystyle \lim_{n \to \infty} \left({\ln \left({\ln n}\right) - C}\right) = + \infty$

where $\Bbb P$ is the set of all prime numbers.