総和関数sumと直積関数prod