>>986
君は背理法による証明を知らないの?
最小値が仮に存在すると仮定すると
それより小さい値を与えるxが定義域内に存在して矛盾することを
書いてあるんだろうさ