无穷级数部分和的定义