>>831 言えた
F = ||f|| と書く

>>836 と同様に g' ≦ (K-1)g + 2x'F まで言える
(x'-F)^2≧0 より
g' ≦ (K-1)g + x'^2 + F^2
≦ (K-1)g + g + F^2*e^(Kt)
= Kg + F^2*e^(Kt)

∴ g' ≦ Kg + F^2*e^(Kt)
これを解いて
g ≦ (g(0) + F^2*t)*e^(Kt)
これは示したかった式