闭区间最值定理(Extreme Value)
                                                                    
                                                                    
                                                                    
                                                                    
                                                                    
                          费马引理(Fermat's Lemma)