符号定义 ->:左可推出右,右不可推出左.
数列的情况:无界->发散,无穷->发散,无穷->无界.