approx sum_(v=1)^t (((x-v) choose y)*(x choose v)*((z-x) choose t-v