(lnx)^2 -9 > 0