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