>>119

任意のｎ＞２に対して、ｐ＞＝n/2となる素数が存在するから明らか。