最先明确定义无穷级数收敛性的数学家是（柯西），他是（）。