Semiclassical Double-Inequality on Heisenberg Uncertainty Relation in 1D

We prove a double-inequality for the product of uncertainties for position and momentum of bound states for 1D quantum mechanical systems in the semiclassical limit.