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