Mountain Pass Techniques

Let \((M,d)\) be a complete metric space and \( J : M \to (-\infty , +\infty ]\) be a lower semicontinuous function bounded from below and not equal identically to \(+\infty \) .