そういう時は素数を数えてた