1: \begin{proof}[Proof of Proposition~\ref{max:increase}]
2: Due to Lemma~\ref{LemmaDoubleZero} we can assume that (\ref{J3E7})
3: holds for $n$ large. In a similar fashion as in \cite{CV} we can make rigorous the argument
4: outlined above by combining the lemmas~\ref{MatchingLemma} and
5: \ref{ApproximationLemma} and prove indeed that
6: (\ref{J3E8}) hold. Since by hypothesis $\Phi(\xi_{n}^{\ast}) \to\infty$ as
7: $n\to\infty$ it then follows that $\Phi(\xi_{n}^{\ast})<\Phi(\xi_{n-1}^{\ast})$ and this
8: gives Proposition~\ref{max:increase}.
9: \end{proof}