2024/05/09 by Nikola Gyulev, Gyulev, Nikola, Miroslav Marinov +1
Mathematics · #Mathematical functions and polynomials #Mathematical Approximation and Integration #Approximation Theory and Sequence Spaces
paper · pdf · doi:10.48550/arxiv.2405.06139
In 2016, Dummit, Granville, and Kisilevsky showed that the proportion of semiprimes (products of two primes) not exceeding a given x, whose factors are congruent to 3 modulo 4, is more than a quarter when x is sufficiently large. They have also conjectured that this holds from the very beginning, that is, for all x ≥ 9. Here we give a proof of this conjecture. For x≥ 1.1 ⋅ 1013 we take an explicit approach based on their work. We rely on classical estimates for prime counting functions, as well as on very recent explicit improvements by Bennett, Martin, O'Bryant, and Rechnitzer, which have wide applications in essentially any setting involving estimations of sums over primes in arithmetic progressions. All x < 1.1 ⋅ 1013 are covered by a computed assisted verification.