>>415

>>427

の結果を使えば以下のように証明できますね。

g(y) / {log(y) / log(log(y))}

=

x / {(x*log(x)) / (log(x) + log(log(x)))}

=

{log(x) + log(log(x))} / log(x)

=

1 + log(log(x)) / log(x)



1 (x → ∞)

よって、

>>427

の結果より、

g(y) / {log(y) / log(log(y))} → 1 (y → ∞)