>>746前半
(5+√26)^n+(5-√26)^n ∈Z であることが帰納法で証明されるので、
10^-(n+1) ＜ |5-√26|^n ＜ 10^-n を言えばよい。
⇔ 10^n ＜ 1/|5-√26|^n ＜ 10^(n+1)
⇔ 10^n ＜ |5+√26|^n ＜ 10^(n+1)
⇔ n ＜ nlog|5+√26| ＜ n+1
⇔ 1 ＜ log|5+√26| ＜ 1+1/n を示せば終了‥‥

‥‥と思いきや、これだと n＞234 で主張が成立しないことになる。
というわけで、詰まった。