That's pretty cool. Thanks! [ChatGPT corroborates: "The Schwarz inequality can be used to derive an inequality for the product of the uncertainties in position and momentum, which is equivalent to the Heisenberg Uncertainty Pr