sinx - \sqrt(3)*cosx > 1