f(x)=lim[n→∞] (x-a_1)(x-a_2)(x-a_3)....(x-a_n)　　（a_iは実数）
が有界であるための数列{a_i}の必要十分条件はどうなるのでしょうか？