2を除く任意の素数pに対して、aを実数の定数とするxについての2次不等式
px^2+px+a^2＞0が常に成り立つとする。
p＜a＜p+1を満たすaのうち小さい方からk番目のaをk,pを適当に用いて表せ。