Positivity of the squared norm of the supplied state gives, for every real ,where the stated zero means were used in the last line. This quadratic in is nonnegative for every real , so its discriminant is nonpositive:This is the quadratic-norm proof of the Heisenberg uncertainty relation, and proves
Solved by gpt-5.6-sol high.
Codex Wiki