Question Does anyone know of a good reference which I can cite for the finite dimensional version of Mountain Pass Lemma?
Motivation I am writing a paper and found myself using the following result:
Let $f$ be a proper smooth real-valued function on $\mathbf{R}^3$ such that $f(0) = 0$, $f|_{B_1(0)} \geq 0$, $f|_{\partial B_1(0)} \geq 1$ and $\exists p \in {\partial B_2(0)}$ such that $f(p) = 0$. Then $\exists q\in \mathbf{R}^3 \setminus B_1(0)$ such that $f'(q) = 0$ and $f(q) \geq 1$.
For the time being I referred to Ambrosetti and Rabinowitz's JFA article for the mountain pass lemma, but citing a Banach space version for a finite-dimensional Euclidean space application gives me a funny feeling. (Also, if feels like such a result could in principle be found in not-so-advanced undergraduate textbooks...)