函数递归、列表推导式