╔(σ_σ)╝

It seems that the fact that (lim x -> c f ' exists) means f derievative is bounded on I is important.

If I am thinking correctly I think f ' is uniformly continous since it has a continous extension on I.