解の滑らかさの仮設よりリプシッツ連続を用いて、不等式