对于数列{an},定义数列{bm}如下:对于正整数m,bm是使得不等式an>=m成立的所有n中的最小值