Show that in Lemma indeed [math]a_0\in(1,\sqrt{5}-1)[/math] holds.
Hint: Establish first that [math]\exp(x)\leqslant 1+x+x^2/2[/math] holds for [math]x\leqslant0[/math].