），可能不存在极限，施尼勒尔曼密度的其中一个好处在于它总是有值的。
Mann定理.设formula_16，拉格朗日四平方和定理可以写成formula_17，其中formula_18表示formula_3和formula_20的和集。显然，formula_21，另外也有formula_22。那么施尼勒尔曼密度1是怎样得来的呢？原来formula_23。尽管只有一、两个平方数集的和集的密度都是0，但之后和集的施尼勒尔曼密度会慢慢增加。施尼勒尔曼指出：Mann证明了更强的条