证明了g(k)的存在性。1943年，U.V.林尼克给出了关于g(k)存在性的另一个证明。然而，尽管g(k)的存在性已被证明，人们尚且无法知晓g(k)与k之间的关系。华林自己推测g(2)=4，g(3)=9，g(4)=19。1770年，拉格朗日证明了四平方和定理，指出g(2)=4。1909年亚瑟·韦伊费列治证明了g(3)=9。1859年，刘维尔证明了g(4)<=53，他的想法是借助一个恒等式（Liouville polynomial identity）：后来哈代和李特尔伍德得到g(4)<=21, 1