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

Input interpretation

solve 9/8 - a<n^2/2^n for n