 Quadratic-norm proof of the Heisenberg uncertainty relation

For a state with zero position and momentum means, positivity of $\Vert (p-isx)\psi {\Vert }^2$ for every real $s$ givesThe discriminant is nonpositive, hence $\Delta x\Delta p\ge \hslash /2$.