(sum from n = 1 to inf n^15 * (1- 1/2^25)^n)