Maximaには、next_prime(n)というnより大きな最初の素数を求めてくれる関数があるのですが、10の400乗を入れてもわずか9秒で計算してくれます。しかもメモリもほとんど食わない。10の500乗にしたらようやく117秒考えてくれました。 検定に必要な最大の素数は…