lim(sum((2%2Fn)*(16 - (1 %2B 2i%2Fn)%5E2)%2C i%2C 1%2C n)%2C n%2C infinite)