<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>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].</p>
</abstract>

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].

The Divergence of the Sum of Prime Reciprocals

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

The Divergence of the Sum of Prime Reciprocals

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
primes, asymptotics

© 2022 Mario Carneiro, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

The Divergence of the Sum of Prime Reciprocals

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 kluczoweprimes, asymptotics

© 2022 Mario Carneiro, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Słowa kluczowe
primes, asymptotics