>>546
n=2 は別途証明してるからその部分はいいんじゃないの
参考文献 [6] を参照しろって書いてあるじゃん（元の論文は読んでないけど）
それより
n = 2, p = 3,
x = (1, 1, 2),
a = (2, 2, 4)
とすると
d[n + 1] - d[n] = -1/2 < 0
にならない？