这个Xn小于等于M是自己令的吗？还是证明得到的？

这个Xn小于等于M是自己令的吗？还是证明得到的？从令M等于后面一串就没看懂了

也算自己令把， 下面给出了 M = x1 ... xn a+1里面的最大值， 已经证明了 xn+1之后都小于a+1， 所以在前面的最大值就是数列的上限