>>385
覚えておきたいので十分大きな自然数の下限値がたかだかいくつかを導出して