证明N={1，2，...，n，...}有最大元 黄小宁