Let K be a D-domain and let f:K-->R be differentiable on the interval [a,b] as they are a subset of K. (a<b)
Let x be an element of (a,b). Show that lim (y-->x+) f'(y) and lim (y-->x-) f'(y) both exist then f' must be continuous at x.
Any help in solving this using Darboux would be greatly appreciated.