sum of k from k=45 to 80