すべての自然数nについて次の不等式が成り立つことを証明せよ。ただしaは有理数とする。
a^2-3^n>n^2+√2(x-6)