Lemma 2: Hukum Produk

jika lim (x → a) f (x) = L dan lim (x → a) g (x) = M, maka

lim (x → a) [f (x) * g (x)] = L * M

Bukti:

(1) Mari ε berupa nilai nol. Kami akan membuktikan bahwa f (x) g (x) - LM terletak di antara -
ε dan + ε

(2) Karena batas f (x) = L, kita tahu bahwa ada δ1 sehingga:

jika x - adalah antara -δ1 dan + δ1, maka f (x) - L adalah antara -ε dan + ε

Karena menurut definisi, jika x - adalah antara -δ1 dan + δ1, maka f (x) adalah antara -L dan
+ L.

(3) Kita juga tahu bahwa ada δ2 sehingga:

jika x - adalah antara -δ2 dan + δ2, maka f (x) - L adalah antara -ε / (2M) dan ε / (2M).

Definisi untuk batas adalah bahwa untuk setiap nilai positif yang diberikan (ε), kita dapat
menemukan nilai positif (δ) untuk mendapatkan hasilnya (lihat di atas jika ditinjau
diperlukan).

(4) Dan terdapat δ3 sehingga:

jika x - adalah antara -δ3 dan + δ3, maka g (x) - M adalah antara -ε / (2L) dan ε / (2L)

(5) Mari δ = min (δ1, δ2, δ3)

(6) Sekarang, jika x - adalah antara -δ dan + δ, maka:

(A) f (x) - L adalah antara -ε / (2M) dan + ε / (2M)

(B) g (x) - M adalah antara - ε / (2L) dan + ε / (2L)

(C) M [f (x) - L] adalah antara (M) [- ε / (2M)] dan (M) [+ ε / (2M)] yaitu antara -ε / 2 dan ε / 2.

(D) f (x) [g (x) - M] adalah antara (L) [- ε / (2L)] dan (L) [+ ε / (2L)] yaitu antara -ε / 2 dan ε / 2.

(E) Jika kita menambahkan (c) + (d), kita mendapatkan:

f (x) M - LM + f (x) g (x) - f (x) M = f (x) g (x) - LM

(F) Jadi, f (x) g (x) - LM adalah antara (-ε / 2 + -ε / 2) dan (+ ε / 2 + + ε / 2) yang berarti
bahwa itu adalah antara -ε dan + ε

(7) Jadi LM adalah batas untuk f (x) g (x).