Finite geometric series formula justification