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