fは実区間[a,b)からバナッハ空間Fへの連続写像であり、右側微分可能
右側微分係数は f_r’(x)のように表し
g(x) := norm( f(x) ) とします

この時、g は右側微分可能であり
| g_r’(x) | ≦ norm(f_r’(x)) (for x∈[a,b))
である事を示せ.

|g(x+h) - g(x)| = | norm( f(x)+ f_r’(x)h +o(h) ) - norm(f(x)) |
≦ norm(f(x)+ f_r’(x)h +o(h) - f(x))
≦ norm(f_r’(x)) h + norm(o(h))
∴ 0 ≦ sup[h→+0] | {g(x+h) - g(x)}/h | ≦ norm(f_r’(x))
ここまでは分かったのですが、
sup[h→+0] {g(x+h) - g(x)}/h = inf[h→+0] {g(x+h) - g(x)}/h
この示し方が分かりません.