素因数分解、剰余、不等式評価くらいしかやることないだろ