Log3 x + 6 > (log2 x)^2