完全に収束傾向
アイリーンの微分方程式モデル使ったシミュレーションでもほぼ断定できるレベルだし