 The first mathematically exact formulation of the uncertainty relations is due to Kennard. He proved in 1927 the theorem that for all normalized state vectors \(\ket{\psi}\) the following inequality holds: