```
In [0]: reduce_inequalities(S(0) <= x + 3*y, Q.real(x), [])

Out[0]: NotImplementedError: only univariate inequalities are supported
In [1]: e = Sum(x,(n, 1, 3))

In [2]: reduce_inequalities(S(0) <= e, Q.real(x), [])
Out[1]: PolynomialError: only polynomials and rational functions are supported in this context

In [3]: reduce_inequalities(S(0) <= x**2 + 3*x + 2, Q.real(x), [])
Out[2]: x ≥ -1 ∨ x ≤ -2

In [4]: reduce_inequalities(S(0) <= x + Integral(y*2, (y, 1, 3)) - 1, True, [x])

Out[3]: 
  3               
  ⌠               
- ⎮ 2⋅y dy + 1 ≤ x
  ⌡               
  1 
```