Estimate and check sums

~10 min

Estimate the sum before solving exactly.