>>948
閉区間の連続函数は一様連続
任意のε>0に対してδ>0が存在して|x−y|<δなら|f(x)−f(y)|<ε
閉区間を幅δ/2の小区間に分割して、それぞれの小区間でのfの最小値を取る階段関数Fを考えると段差はε以内
その階段関数より2ε小さい階段関数F'を考えるとF〜F'の隙間はε以上
その隙間を通るgを求める