>>491
収束性(i-jが周期4で振動すると言えばいいのかな)も証明になっている気がするのだが