If both limx→af(x) and limx→ag(x) and exist finitely and limx→ag(x)=0, then limx→af(x)g(x)=limx→af(x)limx→ag(x)