g(y) を十分大きな実数に対して定義された連続関数とする。

g(y) → ∞（y → ∞） とする。

このとき、

f(g(y)) → a（y → ∞） ⇒ f(x) → a（x → ∞）

が成り立つ。

これって成り立ちそうですね。