これ以後、固定されたϵ>0{\displaystyle\epsilon>0}に対してE(r)≤C(ϵ)r1/2+ϵ{\displaystyleE(r)\leqC(\epsilon)r^{1/2+\epsilon}}となるような実数C(ϵ){\displaystyleC(\epsilon)}が存在することを示すことが目標となった。
因此以后目标是证明针对每一个ϵ>0{\displaystyle\epsilon>0}，都存在实数C(ϵ){\displaystyleC(\epsilon)}使得E(r)≤C(ϵ)r1/2+ϵ{\displaystyleE(r)\leqC(\epsilon)r^{1/2+\epsilon}}。