递归定义展开器
从基础情形出发，每一步只调用已经定义好的前一步或更小子结构。
当前展开结果
a_0 = 1
数列项像台阶一样生成
每个新值只依赖左边已经得到的值。
展开过程
从 a_0 开始逐步代入