>>548
n = 2, p = 3、x = (1, 1, 2)、a = (2, 2, 4) とすると、
d[n + 1] - d[n]
 = (x_3)^4/(a_3)^3 + (x_1 + x_2 + x_3)^4/(a_1 + a_2 + a_3)^3 - (x_1 + x_2)^4/(a_1 + a_2)^3
 = 1/4 + 1/2 - 1/4
 = 1/2 > 0
大丈夫っぽい。

>>549
因数分解できるのか…。 すげえな!
ぬるぽビッチって便利だな。