Sqrt x 3 geq 1