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