Since we can write $x y = (\alpha x) (y / \alpha)$, this result is a special case of R4757: Young's inequality for two real numbers. $\square$