I haven't touched analytical mathematics for a very long time, so my understanding is quite rough now. Though the solution seems obvious, I hope the proof gives more explanation.

1. Is it OK to replace 0 with a function that approaches 0 at infinity? What rules are in place for substitution?

2. Is lim f(x) * lim g(x) equal to lim f(x)*g(x) ?