ｋ＝１７は省略して，ｋ＝２３の場合，

　　ｎ^2＋ｎ＋２３　　←→　ｍ＝２

ｎ＝０のとき，２３（素数）

ｎ＝１のとき，２５（非素数），ここで打ち切り

　　ｎ^2＋ｎ＋２９　　←→　ｍ＝３

ｎ＝０のとき，２９（素数）

ｎ＝１のとき，３１（素数）

ｎ＝２のとき，３５（素数），ここで打ち切り

　　ｎ^2＋ｎ＋３１　　←→　ｍ＝３

ｎ＝０のとき，３１（素数）

ｎ＝１のとき，３３（非素数），ここで打ち切り

　　ｎ^2＋ｎ＋３７　　←→　ｍ＝３

ｎ＝０のとき，３７（素数）

ｎ＝１のとき，３９（非素数），ここで打ち切り

　　ｎ^2＋ｎ＋４１　　←→　ｍ＝３

ｎ＝０のとき，４１（素数）

ｎ＝１のとき，４３（素数）

ｎ＝２のとき，４７（素数）

　　ｎ^2＋ｎ＋４３　　←→　ｍ＝３

ｎ＝０のとき，４３（素数）

ｎ＝１のとき，４５（非素数），ここで打ち切り

　　ｎ^2＋ｎ＋４７　　←→　ｍ＝３

ｎ＝０のとき，４７（素数）

ｎ＝１のとき，４９（非素数），ここで打ち切り

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［まとめ］この問題は

　　ｋ＝２，３，５，１１，１７

であることを仮定しておらず，一般的なｋに対して

　　ｍ＝［√(k/3)］

がbest possibleな値であることを証明せよという問題である．

　これまでのところ，

　　ｍ＝［√(k/3)］

までたどりついたのはｋ＝７の場合だけで，そこにたどりつく前に打ち切りになっている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝