On higher order derivatives of Lyapunov functions