>>791
a(k+1)-2b(k+1)
=5^(k+1)-1-2((k+1)^3+2(k+1))
>5*(2(k^3+2k)+1)-1-2((k+1)^3+2(k+1))
帰納法の過程である5^k>2(k^3+2k)+1を使った
あとは、こいつがk>2で常に正であることを言えばおｋ
微分するのが一番王道かな