山路引理

mountain pass lemma