/ 2\ log(4*x + 11) log\25 - x / sin(11*pi) ------------- - ------------ >= ---------- log(7) log(7) 2
-log(25 - x^2)/log(7) + log(4*x + 11)/log(7) >= sin(11*pi)/2