黎曼辅助函数. 零点的右极限

数值数据表明，上半平面中黎曼辅助函数的零点 $\rho$ 满足 $\mathop{\mathrm{Re}}(\rho)<1$。我们证明了对于那些 $\mathop{\mathrm{Im}}(\rho)> 3.9211\dots10^{65}$ 的零点，这一点成立。我们推测这一点对所有零点都成立。