Sum of Reciprocals of Primes is Divergent/Proof 1

Theorem
For $n \ge 1$:


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


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

Proof
By Sum of Reciprocals of Primes is Divergent: Lemma:
 * $\displaystyle \lim_{n \to \infty} \left({\ln \left({\ln n}\right) - \frac 1 2}\right) = +\infty$

It remains to be proved that:
 * $\displaystyle \sum_{\substack {p \mathop \in \Bbb P \\ p \mathop \le n} } \frac 1 p > \ln \left({\ln n}\right) - \frac 1 2$

Assume all sums and product over $p$ are over the set of prime numbers.

Let $n \ge 1$.

Then: