递归式求解：代入法

先猜答案，再用数学归纳法证明。猜错了归纳会推不下去。