証明から出ない以上データで考えればいいだろ。
logがこのまま順に大きくなれば法則性はあるのだろう。