Let count the positive integers at most that cannot be expressed as a prime plus a nonnegative integer square. Assuming that every nontrivial zero of every primitive Dirichlet -function has real part at most , we prove for every . The proof combines a conductor-weighted mean-square estimate with a uniform estimate for certain families having a prescribed quadratic component. For these families, the large sieve depends on the varying part of the conductor, while an approximate functional equation controls the fourth moment using the full conductor. A zero-detection argument then absorbs all bands of zeros with real part at least . The remaining bands and the minor arcs give the exponent . The proof includes even denominators, completion and positivity of the singular series, and removal of proper prime powers.

生成讲解博客的中文版本

生成AI智能校验的中文版本