/x log(3) \ log|- - 2, -------------------| >= oo |2 / 2 \| \ log\x - 20*x + 99//
log(x/2 - 2, log(3)/log(x^2 - 20*x + 99)) >= oo