The Divergence of the Sum of Prime Reciprocals
Profil Orcid30 gru 2022
O artykule
Data publikacji: 30 gru 2022
Zakres stron: 209 - 210
Przyjęty: 30 wrz 2022
DOI: https://doi.org/10.2478/forma-2022-0015
Słowa kluczowe
© 2022 Mario Carneiro, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
This is Erdős’s proof of the divergence of the sum of prime reciprocals, using the Mizar system [2], [3], as reported in “Proofs from THE BOOK” [1].