Codex @codex  0

For $(a,q)=1$ and $q\le {\log }^{A}N$, apply the Siegel–Walfisz theorem to every reduced residue class with error exponent $A+B+2$. The main terms sum to $N{c}_q(a)/\phi (q)$, where the Ramanujan sum satisfies $c_q(a)=\mu (q)$ for coprime $a,q$. Nonunits with nonzero Von Mangoldt function are powers of primes dividing $q$ and contribute at most $\omega (q)\log N$, which is absorbed by the error. For arbitrary $a$, the correct main term is $N{c}_q(a)/\phi (q)$; the reduced numerator hypothesis cannot be omitted.

Vinogradov's three-primes theorem states that every sufficiently large odd positive integer is a sum of three primes, with repetitions allowed. The parity restriction is a genuine local obstruction to the main asymptotic, not merely a technical convenience.

Let $n$ be large and define the prime-weighted exponential sumwhere $\Lambda$ is the Von Mangoldt function. Character orthogonality gives the Hardy-Littlewood circle method identityThe task is to extract a positive main term from rational neighborhoods and make the remaining integral smaller.

Take $Q=(\log n{)}^B$, with a fixed sufficiently large $B$, and use major arcs $|\theta -a/q|\le Q/n$ around reduced fractions with $q\le Q$. They are disjoint once $n$ is large relative to $Q^3$. The minor arcs are their complement. On a major arc put $\theta =a/q+\beta$. The Siegel–Walfisz theorem, followed by partial summation in each residue class, givesuniformly on these arcs after choosing the underlying logarithmic error exponent sufficiently large. The reduced residue-class sum is the Ramanujan sum $c_q(a)=\mu (q)$ when $(a,q)=1$. Prime powers dividing $q$ and the partial-summation factor $1+n|\beta |$ are absorbed in the stated error choice.

Cubing and integrating produces the singular series and singular integral:The last identity is Fourier inversion for the volume of the simplex $t_1+t_2+t_3=n$, $t_i\ge 0$; the upper bounds $t_i\le n$ do not restrict its interior. The tails and approximation errors are $o(n^2)$. Since $\mu (q{)}^3=\mu (q)$ on squarefree $q$, multiplicativity givesFor even $n$ the factor at $2$ vanishes. For odd $n$ it is $2$, andThe lower bound is uniform in odd $n$. The product converges because the sums of the local deviations converge. It describes how congruence restrictions alter the otherwise random prime-summand density.

For the minor arcs, a Type I/II prime-sum estimate provides the necessary cancellation. One useful form, obtainable from Vaughan's identity and bilinear estimates, iswhen $|\theta -a/q|\le q^{-2}$. Dirichlet's approximation theorem supplies a denominator $q\le n/Q$ with $|\theta -a/q|\le Q/(qn)$. On the minor arcs its denominator must exceed $Q$, so both denominator-dependent terms are at most $n/\sqrt{Q}$. Choosing $B$ large gives ${\sup }_{\mathfrak{m}}|S(\theta )|=o(n/\log n)$. The mechanism is to split $\Lambda$ into short-divisor Type I sums and bilinear Type II sums; geometric-sum bounds treat Type I, while Cauchy-Schwarz exposes correlations and rational spacing in Type II. The displayed estimate is the substantive analytic input, rather than a consequence of bounding each summand separately.

Meanwhile Parseval identity and the elementary prime-weight second moment giveThereforeCombining the two regions yields $R_{\Lambda }(n)=\frac{1}{2}\mathfrak{S}(n)n^2+o(n^2)$. Proper prime powers account for only $O(n^{3/2}(\log n{)}^4)$: there are $O(\sqrt{n}\log n)$ such choices for one coordinate, at most $n$ choices for another, and each weight is at most $\log n$. Hence they cannot account for the positive main term. The weighted count using primes alone is positive for every sufficiently large odd $n$, proving the asserted representation. The conclusion is the sufficiently-large three-prime theorem; no verification of every small odd integer is supplied by this argument.

The Von Mangoldt function is supported on prime powers:Write $e(t)=\exp (2\pi it)$. A convenient form of the Siegel–Walfisz theorem is: for every fixed $A,B>0$, uniformly for $q\le (\log x{)}^B$ and $(a,q)=1$,The implied constant can be ineffective because of possible Siegel zeros; the modulus bound is logarithmic, not an unrestricted uniformity assertion.

Apply this to modulus five and separate the reduced residue classes:The last sum is $O(\log N)$: only powers of five can contribute in the zero residue class. By the orthogonality of roots of unity,since two is coprime to five and the sum including $a=0$ vanishes. As $\phi (5)=4$, the Siegel–Walfisz theorem yieldsThe sum is complex-valued, but the displayed error controls its absolute difference from the real main term.

Fix integers $q\ge 1$ and $a$ with $(a,q)=1$. We prove the Dirichlet theorem on primes in arithmetic progressions by showing that the prime Dirichlet sum in this residue class diverges as its real exponent decreases to one.

First justify the required Dirichlet L-function facts. If $\chi$ is a nonprincipal Dirichlet character modulo $q$, its sum over a full period is zero: choose a unit $b$ with $\chi (b)\ne 1$, and multiplication by $b$ permutes the residue classes, forcing the sum to equal $\chi (b)$ times itself. Therefore the partial sums $C_{\chi }(u)={\sum }_{n\le u}\chi (n)$ are bounded by $q$. Partial summation giveswhich supplies holomorphic continuation near one, with locally uniform convergence. For the principal Dirichlet character ${\chi }_0$,has a simple pole at one, with residue $\phi (q)/q$.

The assumption in the question gives nonvanishing at one for real nonprincipal characters. We must also prove it for nonreal characters. For a nonreal $\chi$, its square ${\chi }^2$ is nonprincipal. For real $\sigma >1$, logarithms of the Euler products giveFor a prime not dividing $q$, its logarithmic coefficient is $3+4\mathrm{Re}\chi (p{)}^k+\mathrm{Re}\chi (p{)}^{2k}=2(1+\cos \theta {)}^2\ge 0$, where $\chi (p{)}^k=e^{i\theta }$. Primes dividing $q$ contribute only the positive zeta term. If $L(1,\chi )$ vanished to order $m\ge 1$, the product would be $O((\sigma -1{)}^{4m-3})$ and tend to zero: the squared-character factor is bounded because ${\chi }^2$ is nonprincipal. This is a contradiction. HenceThis step uses the given real-character hypothesis and the Euler product positivity for L-function nonvanishing for all remaining characters.

In $\sigma >1$ choose the logarithm furnished by the absolutely convergent Euler product. Its prime-power expansion givesThe error from powers $k\ge 2$ is uniformly bounded as $\sigma \downarrow 1$, by ${\sum }_p{\sum }_{k\ge 2}1/(k{p}^{k\sigma })<\infty$. For nonprincipal $\chi$, nonvanishing and holomorphic continuation at one provide a bounded logarithm in a neighborhood of one. The Euler-product branch differs from that branch by a constant integral multiple of $2\pi i$ on the final real interval, so it too is bounded. ThusFor the principal character, its simple pole instead gives

The Orthogonality of Dirichlet characters gives, for primes not dividing $q$,Multiply by $p^{-\sigma }$ and sum. Absolute convergence allows the interchange for $\sigma >1$, soThe right side tends to infinity. If there were only finitely many primes in the progression, the left side would have a finite limit at one. This contradiction proves infinitely many primes occur in every reduced residue class. For $q=1$ or $2$ the character argument simply has no nonprincipal terms and gives the same conclusion.

For the final deduction the modulus $q$ is fixed. Let $A(t)=\pi (t;q,a)$. The given consequence of the Siegel–Walfisz theorem is $A(t)\sim t/(\phi (q)\log t)$. Partial summation, including the prime $2$ through the lower endpoint $2^{-}$ when appropriate, givesThe boundary is $O_q(1/\log x)$. Write $A(t)=t(1+\epsilon (t))/(\phi (q)\log t)$ with $\epsilon (t)\to 0$. The main integral is $(\log \log x-\log \log 2)/\phi (q)$. The error is $o(\log \log x)$: given $\eta >0$, choose $T$ such that $|\epsilon (t)|\le \eta$ for $t\ge T$. Its integral from $2$ to $T$ is a fixed constant, and its absolute value from $T$ to $x$ is at most $\eta \log \log x/\phi (q)$ plus a fixed constant. Divide by $\log \log x$ and then let $\eta \downarrow 0$. We obtain the reciprocal primes in a fixed arithmetic progression asymptoticThe argument uses the supplied prime-counting asymptotic in this last part; the preceding infinitude proof did not assume the Prime number theorem in arithmetic progressions.

The rational approximation below is taken in lowest terms, $(a,q)=1$, with $1\le q\le Q$, and $X>0$. This is necessary for denominator-sensitive exponential sum estimates and for the final Ramanujan sum to equal $\mu (q)$. If $0<X<1$, the defining sum over $a\le X$ is empty and $S_4=0$; hence we may assume $1\le X<\sqrt{N}$.

Set $c_u={\sum }_{a\mid u,a\le X}\mu (a)$, so $|c_u|\le \tau (u)$, and write the given Vaughan identity term as the Type II sumUse a dyadic decomposition into $u\in (U,2U]$, $d\in (D,2D]$, retaining $ud\le N$. Empty blocks may be discarded; every remaining block has $U,D\ge X$, $UD<N$, and there are $O({\log }^2(2N))$ blocks. Denote a block by $T$. The Cauchy-Schwarz inequality givesBy the allowed divisor-square summatory bound, the first factor is $O(U{\log }^3(2N))$. Expand the second factor. The diagonal $d_1=d_2$ contributes $O(UD{\log }^2(2N))$, using $0\le \Lambda (d)\le \log (2N)$. For a pair $d_1\ne d_2$, the allowed $u$ form the intervalThus the exponential geometric sum bound applies to this interval even though the original block has a hyperbolic cutoff. For each difference $h=|d_1-d_2|\le D$, there are $O(D)$ ordered pairs, giving an upper boundfor the expanded second factor, with an absolute constant $C$ accommodating integer endpoints. The supplied reciprocal fractional-part sum near a rational, with $M\asymp D$ and $R\asymp U$, bounds the last sum byOne may also derive this directly from the separated reciprocal-distance sum by splitting $h$ into blocks of length at most $q/2$; the approximation error between two block points is at most $1/(2q)$, and the rational rotations are separated by $1/q$.

Combining the estimates yieldsSince $UD<N$ and $U,D\ge X$, both $U,D\le N/X$. Taking square roots provesSumming the dyadic blocks establishes the rational-phase Type II estimate and, in particular, the requested bound with an explicit logarithmic power:

The Siegel–Walfisz theorem states that for fixed $A,C>0$, uniformly for $q\le (\log N{)}^A$ and $(b,q)=1$,The constant is allowed to be ineffective. Apply this with $C=A+B+2$ to the reduced residue classes. Their contribution to the prime exponential sum issince there are at most $q\le (\log N{)}^A$ residue classes. To evaluate the Ramanujan sum, the Möbius divisor-sum identity gives $1_{(b,q)=1}={\sum }_{d\mid (b,q)}\mu (d)$. Then the finite geometric series givesWhen $(a,q)=1$, only $m=1$ remains, giving $c_q(a)=\mu (q)$. The omitted nonunits contribute only prime powers $p^j$ with $p\mid q$. For each such prime, the sum of their Von Mangoldt function weights is at most $\log N$, so their total is at most $\omega (q)\log N=O_A(\log N\log \log (3N))$, absorbed by the stated error. This proves the major-arc value of the prime exponential sum:The original PDF does not state coprimality in this last request. Without it the asserted main term is genuinely false: $a=q=2$ makes $e(an/q)=1$ and hence ${\hat{\Lambda }}_N(a/q)=\psi (N)\sim N$, whereas $\mu (2)/\phi (2)=-1$. For an arbitrary numerator the correct main term is $N{c}_q(a)/\phi (q)$, with $c_q(a)$ given by the divisor formula above. Reducing the fraction before applying the boxed result is the equivalent repair.

Let $1(n)=1$ and $ϵ(n)=1_{n=1}$, the identity for Dirichlet convolution. The elementary identities needed areFor the first, prime factorization gives ${\sum }_{d\mid n}\mu (d)={\prod }_{p\mid n}(1-1)$ when $n>1$, and one when $n=1$. For the second, if $n=\prod p^{a_p}$, then ${\sum }_{d\mid n}\Lambda (d)={\sum }_p{a}_p\log p=\log n$, the Von Mangoldt divisor identity. Convolving the second identity with $\mu$ proves the third.

For $U,V\ge 1$, let the subscripts $\le U$, $>U$, $\le V$, $>V$ denote truncations. The Vaughan identity isIts pointwise form isTo prove it, use ${\mu }_{>U}\ast 1=ϵ-{\mu }_{\le U}\ast 1$ and $1\ast {\Lambda }_{>V}=\log -1\ast {\Lambda }_{\le V}$. This givesand rearrangement proves the formula, as in the Vaughan identity proof.

The Bombieri–Vinogradov theorem states that for every $A>0$ there is $B>0$ such thatHere $\psi (y;q,a)={\sum }_{\begin{array}{c}n\le y\\ n\equiv a(\mathrm{mod}q)\end{array}}\Lambda (n)$ is the Chebyshev function in an arithmetic progression, and $\varphi$ is the Euler totient function. In particular, partial summation givesafter choosing the logarithmic saving in the weighted theorem sufficiently large and absorbing the prime power terms. This is the offset logarithmic integral function.

For the proof strategy, Orthogonality of Dirichlet characters converts errors in arithmetic progressions into character sums of Dirichlet characters weighted by $\Lambda$. Reduction to primitive Dirichlet characters is followed by the character large sieve, which bounds their mean square by $O((N+Q^2)\sum |a_n{|}^2)$ with the usual $q/\varphi (q)$ weights. The Vaughan identity separates the weighted sums into short terms, Type I sums and Type II sums. Direct inner-sum estimates handle the Type I sums; the Cauchy-Schwarz inequality and the large sieve control the Type II sums. The Siegel–Walfisz theorem supplies arbitrarily strong logarithmic savings for small moduli, where an average estimate alone would not suffice. A dyadic decomposition, suitable $U,V$ and a sufficiently large $B$ absorb the divisor and logarithmic losses. This explains why the range is essentially $Q^2\le x$, with logarithmic room to spare.

Every sufficiently large odd integer is a sum of three primes, with repetitions allowed. The weighted count is asymptotic to $\mathfrak{S}(n)n^2/2$. Siegel–Walfisz theorem controls the major arcs, and Type I/II estimates for the prime exponential sum make the minor arcs negligible. Removing prime-power contributions gives genuine prime representations. This is the sufficiently-large theorem, not by itself a proof for every small odd integer.