Mathematics — Real Analysis · continuous-functions
Problem
Suppose f:[−1,1]→R is a function continuous at all x∈[−1,1]∖{0}. Show that for every ϵ such that 0<ϵ<1, there exists a function g:[−1,1]→R continuous on all of [−1,1], such that f(x)=g(x) for all x∈[−1,−ϵ]∪[ϵ,1], and g(x)≤f(x) for all x∈[−1,1].