Browsing: how to prove a function is differentiable