参考答案：C

解析： 选项A错，如数列[*] [*]；B，D选项只是必要条件；有界变量和无穷小量的乘积是无穷小量，C成立。
[点评] 本题考察有界函数和无穷小量的关系。