___ ________ ____ \/ x - \/ pi - x >= \/ pi
sqrt(x) - sqrt(pi - x) >= sqrt(pi)
x = pi
{pi}
x in FiniteSet(pi)