学会推公式

先写出小数据的答案，再猜通项，最后验证。这是竞赛数学最常用的路子。