不是.
比如lim x->0 (sinx)×(1/x)
显然sinx是有界函数 且 x->0时 1/x是无穷大量
但是lim x->0 (sinx)×(1/x)=1