>>509
i*i = i^2 は自明ではないでしょうか。。。。
”＾”を使いすぎるとわかりにくいのかと思いわざとそのように書いたのですが、すみませんでした。

以下のようにしてみましたが、どうでしょう？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
j,k,q は（ゼロを含まない）任意の自然数。　
j > q^(4k+4)が成り立つとし、以下の数式が成り立つ i が存在することを示せ。

(j^(i^2))/(q^(8*(ik+2i-4)+16)) > q^((ik+2i-2)^2-i^2*k^2)
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

要するに
j > q^(4k+4)
から
(j^(i^2))/(q^(8*(ik+2i-4)+16)) > q^((ik+2i-2)^2-i^2*k^2)
を導けばよいだけの話なのですが
どうもうまくいきません。
わかる方お願いします。