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