数学归纳法

第一数学归纳法

验证条件 X1>a>0。

如果 Xn>a>0 能推出 Xn+1 > a > 0, 那么 Xn>a>0 成立。

解释：
	“如果 Xn>a>0 能推出 Xn+1 > a > 0, 那么 Xn>a>0 成立。” 换句话说，不就是，如果前一个成立，那么后一也必然成立。
	既然如此，那我们知道X1成立，那X2也必然成立，同理, 递推出Xn成立。