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