对于一个收敛而且通项单调递减趋于零的正项级数，必成立