Solve (x - -2 Sqrt[5]) (x - Sqrt[3]) <= 0 over the Integers