sum n from 0 to 15 ( 1/8 (2(n/8)^2 + 1 ) )