Let $s,k\in\mathbb N$ and $\varepsilon>0$. Then
\begin{align*}
J_{s,k}(X)\lesssim_{s,k,\varepsilon} X^\varepsilon\left(X^s+X^{2s-k(k+1)/2}\right)
\end{align*}
for all $X\ge 1$.
Knowledge Status
Number TheoryAnalytic Number Theory
Discussion
Vinogradov [Mean Value Theorem](/theorems/186) is a result about Vinogradov mean value methods and prime exponential sums in analytic number theory. It provides a reusable input for controlling oscillation, extracting main terms, or proving additive representation statements in this chapter.