sum (n choose k)^2 for k from 0 to n