Our Trip to Prime Number Theorem (2021)
susam.net
susam.net
https://en.wikipedia.org/wiki/On_the_Number_of_Primes_Less_T...
It also contains his famous conjecture:
"One now finds indeed approximately this number of real roots within these limits, and it is very probable that all roots are real. Certainly one would wish for a stricter proof here; I have meanwhile temporarily put aside the search for this after some fleeting futile attempts, as it appears unnecessary for the next objective of my investigation"