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