Demonstração - caso 2
\(c=e^{\frac{1}{e}}\)
Para este valor de \(c\), a função \(c^x\) tem um e um só ponto fixo. Determinamo-lo resolvendo a equação \(c^x=x\) para \(x > 0\). Ora, como vimos na secção anterior, se \(x > 0\), tem-se \(\frac{x}{e} \geq \log x\), e a igualdade dá-se se e só se \(x=e\). Logo, \[c^x=x \quad \Leftrightarrow \quad e^{x \log(e^{\frac{1}{e}})}=x \quad \Leftrightarrow \quad e^{\frac{x}{e}}=x \quad \Leftrightarrow \quad x=e.\]
Além disso, se \(0 < x \neq e\), então a órbita de \(x\) por \(H_c\) é uma sucessão
estritamente crescente. De facto, como
\[c=e^{\frac{1}{e}} \quad \Rightarrow
\quad \log c = \frac{1}{e} \quad \Rightarrow \quad x\log c = \frac{x}{e}\]
de
\(\frac{x}{e} > \log x\) obtemos \(\log x < x \log c\) e, portanto, \(x < H_c(x)\).
Como a função \(H_c\) é estritamente crescente (note-se que \(H^\prime_c(x)
= (\log c) c^x > 0\) para todo o \(x\), se \(c > 1\)), aplicando \(H_c\) à desigualdade
anterior, obtemos \(H_c(x) < H^2_c(x)\). Por indução, concluimos que \(H^n_c(x)
< H^{n+1}_c(x)\) para todo o \(n \in \mathbb{N}\).
Podemos também provar que,
quando \(0 < x < e\), a sucessão \(\left(H_c^n(x)\right)_{n \in \mathbb{N}}\)
é majorada por \(e\): por hipótese \(x < e\); daqui resulta, por \(H_c\)
ser função estritamente crescente, que \(H_c(x)<H_c(e)=e\); por indução finita,
concluímos que, para todo o \(n \in \mathbb{N}\), se tem \(H_c^n(x)<e\). Logo,
a órbita de \(x\) por \(H_c\) converge. Como \(H_c\) é função contínua, o limite
desta órbita tem de ser um ponto fixo de \(H_c\). Uma vez que esta função só
tem um ponto fixo, nomeadamente \(e\), deduzimos que \[0 < x < e \quad \Rightarrow
\quad \lim_{n \to +\infty}\,H_c^n(x)=e.\]
Por outro lado, quando \(x > e\),
a órbita de \(x\) por \(H_c\) continua a ser estritamente crescente mas não
pode ser limitada (caso contrário, teria limite e este teria de ser \(e\), o
que não é possível por se ter
\[e < x < H_c(x) < \cdots < H^n_c(x) < H^{n+1}_c(x)
<\cdots \]
para todo o natural \(n\)). E, portanto, \[x > e \quad \Rightarrow
\quad \lim_{n \to +\infty}\,H_c^n(x)=+ \infty.\]