inequality_for_all