有界函数和无穷大的乘积证明