sum (t to s) 4t^2 * (s comb t) / (2^s * v)