finite sum