Sequences of Prime Reciprocals. Preliminaries. - Grabowski, Adam (Formalized Mathematics, 2018)