solve (1 - 64/x)^(x/2) * exp(16*sqrt(6)/(1 + 8/sqrt(x))) > exp(7.19)