是可以没有的
这里加上有多个原因
一是和二项式级数的收敛域有关
二是保证n阶倒数一致有界