To może wyjaśnij, proszę, czemu należy uznać te szacowania za poprawne. Gdybyś przedstawił jakieś rozumowanie prowadzące do otrzymania tych nierówności, to mógłbym wskazać błąd lub ewentualnie przeciwnie, zrozumieć własną pomyłkę i przyznać Ci rację. W szczególności nie rozumiem, czym jest
\(\displaystyle{ n}\) w Twoich szacowaniach, skoro
\(\displaystyle{ n}\) się zmieniają...
Przedstawię rozwiązanie zadania, nie za ładne, ale zawsze jakieś. Jeśli ktoś widzi błędy, to bardzo proszę o informację.
\(\displaystyle{ \textbf{Lemat 1.}}\)
Dla każdego
\(\displaystyle{ n \in \NN^+}\) zachodzi nierówność
\(\displaystyle{ n!>\left( \frac n e\right)^n}\)
Dowód: indukcja po
\(\displaystyle{ n}\).
\(\displaystyle{ 1^{\circ}}\) Dla
\(\displaystyle{ n=1}\) mamy
\(\displaystyle{ 1>\frac 1 e}\), gdyż
\(\displaystyle{ e= \sum_{k=0}^{ \infty }\frac{1}{k!}>\frac{1}{0!}=1}\)
\(\displaystyle{ 2^{\circ}}\) Przypuśćmy, że dla pewnego
\(\displaystyle{ n \in \NN^+}\) jest
\(\displaystyle{ n!>\left( \frac n e\right)^n}\)
Wówczas
\(\displaystyle{ (n+1)!=(n+1)\cdot n!>(n+1)\cdot\left( \frac n e\right)^n > \left( \frac{n+1}{e}\right)^{n+1}}\)
Ostatnia nierówność jest prawdziwa, gdyż po nietrudnych przekształceniach algebraicznych dochodzimy do wniosku, że jest równoważna nierówności
\(\displaystyle{ e>\left( 1+\frac 1 n\right)^n}\), zaś ciąg
\(\displaystyle{ e_n=\left( 1+\frac 1 n\right)^n}\)
jest rosnący oraz jego granicą jest
\(\displaystyle{ e}\).
To kończy drugi krok indukcyjny.
\(\displaystyle{ \textbf{Lemat 2.}}\)
Dla każdego
\(\displaystyle{ n \in \NN^+}\) prawdziwa jest nierówność
\(\displaystyle{ n! \le ne\left( \frac n e\right)^n}\)
Dowód: również indukcja po
\(\displaystyle{ n}\).
\(\displaystyle{ 1^{\circ}}\) Dla
\(\displaystyle{ n=1}\) mamy
\(\displaystyle{ 1!=1\cdot e\cdot\frac{1}{e}}\)
czyli się zgadza.
\(\displaystyle{ 2^{\circ}}\)
Przypuśćmy, że dla pewnego
\(\displaystyle{ n \in \NN^+}\) zachodzi nierówność
\(\displaystyle{ n! \le ne\left( \frac n e\right)^n}\)
Wówczas mamy:
\(\displaystyle{ (n+1)!=(n+1)\cdot n! \le (n+1) \cdot ne\left( \frac n e\right)^n}\)
i wystarczy wykazać, że
\(\displaystyle{ (n+1)\cdot ne\left( \frac n e\right)^n \le (n+1)e\left( \frac{n+1}e\right)^{n+1}}\)
Równoważnie:
\(\displaystyle{ \left( 1+\frac 1 n\right)^{n+1} \ge e}\)
a to jest prawda, gdyż ciąg
\(\displaystyle{ \left( 1+\frac 1 n\right)^{n+1}}\) jest malejący (dowód również jest w powyższym linku) i ma granicę
\(\displaystyle{ e}\). To kończy drugi krok indukcyjny.
Korzystając z lematu 1. i lematu 2. możemy zapisać:
\(\displaystyle{ \frac{1}{(n-1)!}e^{-(n-1)}\ge \frac{1}{n^n} \ge \frac{1}{n!} e^{-n}}\)
oraz dla
\(\displaystyle{ x>0}\):
\(\displaystyle{ \frac{x^n}{(n-1)!}e^{-(n-1)}\ge \frac{x^n}{n^n} \ge \frac{x^n}{n!} e^{-n}\\\sum_{n=1}^{\infty}\frac{x^n}{(n-1)!}e^{-(n-1)}\ge \sum_{n=1}^{ \infty } \frac{x^n}{n^n} \ge \sum_{n=1}^{ \infty } \frac{x^n}{n!} e^{-n}\\ xe^{\frac x e}\ge \sum_{n=1}^{ \infty } \frac{x^n}{n^n} \ge e^{\frac x e}-1}\)
i dalej łatwo skończyć rozwiązanie z twierdzenia o trzech funkcjach, co zostawiam jako ćwiczenie dla Ciebie (jak to Twoje zdanie, to masz coś robić, OK?).
Wynik:
\(\displaystyle{ e^{\frac 1 e}}\)
Dość trudne masz te zadanka, skąd je bierzesz?