単調増加が当たり前なら素数は無限なんだから無限でいいだろ。