2.2.25
左辺を展開すると以下のようになる。
∏n=11996(1+nx3n)==(1+1x3)(1+2x6)(1+3x9)(1+4x12)⋯1+1x3+2x6+(1×2+3)x9+(1×3+4)x12+⋯
これからki=3iとなりxの肩は3ずつ増えることが分かる。
またこれからm=33×1+3×2+⋯+3×1996=1996×1997/2である。
x3iの係数aiに注目するとこれは、
自然数の列0<n1<n2<⋯nkでi=n1+n2+⋯+nkを満たすようなもの全てについてとったときのn1n2⋯nkの総和
と等しくなる。
これはOEISに載っていてa1996=422770022900005396331746326869238456954613391962953999171625528181627015392078989161398657859099002である。(本当?)