>>607
Δ=δ(f,x,ε/2)∩δ(g,x,ε/2)でy∈Δなら〜、のような方針でいいかと
Δが構成できることはちゃんと示さないといけない