ウリゾーンの補題の証明中に出て来た等式の証明が分からなかったので教えて頂けると助かります:
自然数m, nについて, m > n なら,
g_n <= g_m <= f_m <= f_n <= g_n + 2/2^n
が成り立つとき,
inf_m f_m = sup_m g_m
を示せ