(5/4)^(1 - log2 x²) < (16/25)^(2 + log√x x)
(5/4)^(1 - log2 x²) < (5/4)^(-8)
1 - log2 x² < -8
2log2 x > 9
x > 2^(9/2)