关于N=12的Springer猜想

设,其逆函数为G.Springer猜想(1)G.Springer、Y.Kubota、G.Schober、任福尧、姚璧芸、黄新民证明了N≤11时,(1)式成立。