首先，a(n)不可能大于a。否则的话，设a(m)是第一个大于a的项。那么从a(m)以后的所有数的平均数一定大于a。可以推出从a(1)开始全数列的平均数的极限一定大于a。其次，平均数序列每一项都小于a(n)，所以a(n)的极限不可能小于a。
