黎曼函数怎么证明极值点存在的