Werner Heisenberg
where is some quantum mechanical operator and is its expectation value. This more general theorem was not actually derived by Ehrenfest (it is due to Werner Heisenberg).