use assuming in test_inequalities