设liman存在,证明级数