We derive now a useful variant of that inequality.

• 我们现在推导这个不等式的另一种有用形式。