LucasMalaizier

- Definition of the sequence of prime numbers, ``prime_seq`` - Proof of its growth and correctness - Proof of the divergence of the sum of the reciprocals of prime numbers...