Recordemos que paraa∈R yδ>0, los conjuntosB(a;δ),B+(a;δ), yB−(a;δ) denotan los intervalos(a−δ,a+δ),(a,a+δ) y...Recordemos que paraa∈R yδ>0, los conjuntosB(a;δ),B+(a;δ), yB−(a;δ) denotan los intervalos(a−δ,a+δ),(a,a+δ) y(a−δ,a), respectivamente. Diremos quef es diferenciable sobre[a,b] sif′(x) existe para cada unox∈(a,b) y, además, ambosf′+(a) yf′−(b) existir.