don't quote me on this but I'm pretty sure it's H multiplication property of inequality
7.4m questions
9.8m answers