>>674
少し的外れな解答かも知れんよ。
とりあえず 5000子の場合に限定して計算結果を導出してみては?