A product-square inequality