# infsum1() is infinite sum y with index k from 1 to inf; infsum1(y_,k_):=sum(y,k,1,inf); infsum1(y_):=sum(y,k,1,inf);