代数数域上的指数和的估值

设 f(x)=a_kx~k+…+a_1x+a_0∈Z[x],a_k≠0,q∈N,(q,a_k,…,a_0)=1,定义指数和:S(f;q)=(?),其中 x 跑遍 mod q 的一个完全剩余系.1940年华罗庚证明了:对于任意实数ε>0均有|S(f;q)|≤c(ε,k)·q~(1-1/k+(?)),其中 c(ε,k)为仅依赖于ε、k的正常数.