A sharp version of Ehrenfest's theorem for general self-adjoint operators

We prove the Ehrenfest theorem of quantum mechanics under sharp assumptions on the operators involved.