∑[k=1,n]{(80-k)!/(77-k)!}