Compute the sum i=0∑∞j=0∑∞(i+j+1)(i+j+2)(i+j+3)(i+j+4)(i+j+5)(i+j+6)(i+j+7)1.
Solution — click to reveal
First, we can write (i+j+1)(i+j+2)⋯(i+j+6)(i+j+7)1=61⋅(i+j+1)(i+j+2)⋯(i+j+6)(i+j+7)(i+j+7)−(i+j+1)=61((i+j+1)(i+j+2)⋯(i+j+6)1−(i+j+2)⋯(i+j+6)(i+j+7)1).Thus, the following sum telescopes: j=0∑∞(i+j+1)(i+j+2)⋯(i+j+6)(i+j+7)1=j=0∑∞61((i+j+1)(i+j+2)⋯(i+j+6)1−(i+j+2)⋯(i+j+6)(i+j+7)1)=61((i+1)⋯(i+6)1−(i+2)⋯(i+7)1)+61((i+2)⋯(i+7)1−(i+3)⋯(i+8)1)+61((i+3)⋯(i+8)1−(i+4)⋯(i+9)1)+⋯=6(i+1)(i+2)⋯(i+5)(i+6)1.We can then write 6(i+1)(i+2)⋯(i+5)(i+6)1=51⋅6(i+1)(i+2)⋯(i+5)(i+6)(i+6)−(i+1)=301((i+1)(i+2)(i+3)(i+4)(i+5)1−(i+2)(i+3)(i+4)(i+5)(i+6)1).We obtain another telescoping sum: i=0∑∞6(i+1)(i+2)⋯(i+5)(i+6)1=i=0∑∞301((i+1)(i+2)(i+3)(i+4)(i+5)1−(i+2)(i+3)(i+4)(i+5)(i+6)1)=301((1)(2)(3)(4)(5)1−(2)(3)(4)(5)(6)1)+301((2)(3)(4)(5)(6)1−(3)(4)(5)(6)(7)1)+301((3)(4)(5)(6)(7)1−(4)(5)(6)(7)(8)1)+⋯=301⋅(1)(2)(3)(4)(5)1=36001.