通过数学归纳法证明 a_n = 2^n - 1 满足 a_1 = 1 和 。