mを2以上の整数とする
√m≦p≦mを満たす素数pが存在することを証明しなさい。

だろうな普通。
xはあまりよくない。慣例上 xは不定元だし
区間という言葉もこの場合はあまりようないっていうか必要ない