solve(\frac{9}{8}-a<\frac{n^2}{2^n},n)