厳密に定式化せよ(cast in rigorous language)ということであるが、ある整数xが与えられた時点でそれが素数かどうかは決まっているので、『xが素数である確率』といったもような表現はそもそも変である。 そこで、xが素数かどうかということを知るための情報…