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

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

簡単なはずなのにどうしても解けません。
お願いします。