In reply to Tim.

See how to sum a finite series in SAS.