Quote:
Originally Posted by pinhodecarlos
Anyway, was wondering if we need to double check below 4000e15.

That work was done by Tomás Oliveira e Silva of Aveiro University. While he only double checked randomly 400 x 10
^{15} subranges or 10% of the 4000 x 10
^{15} subranges, he contrasted the number of Primes discovered against the number of primes π(n) obtained by variants of the MeisselLehmer algorithm. In all 4000 intervals there was no discrepancy at all.