Calculus proof of centripetal acceleration formula