solve(ln(sin(x)-5*cos(x))/ln(sin(x)-cos(x)) >= 1, x)