/ 2 \ / 2\ // 2 \ / 2 \\ | -x | |/ 2 \ | || -x | | - x + 16 || | 5 - 5 | || 13 - x | | log\\5 - 5/*\5 - 1// + log|--------------| > log\\5 - 4/ / | 2 | | - x + 16 | \5 - 1/
log((-5 + 5^(-x^2))/(5^(16 - x^2) - 1)) + log((-5 + 5^(-x^2))*(5^(16 - x^2) - 1)) > log((5^(13 - x^2) - 4)^2)