Infinite Pentation (and x-srt-x)
#12
So this is my attempt at a proof, and there are a bunch of inequalities, which always confuse me Tongue, so let me know if there are any mistakes.

Let \( \eta = e^{1/e} \) as usual. I will use k (instead of n) to avoid confusion with \( \eta \).

Lemma 1 (Knoebel). \( (a < b) \) iff \( ({}^{k}a < {}^{k}b) \) for all \( a,b,k > 1 \).

Lemma 2. \( \eta < {}^{x}\eta < e \) for all real \( x > 1 \).
Proof.
The base-\( \eta \) tetrational function is continuous and monotonic?

Lemma 3. \( b^x > x + 1 \) for all positive real \( x \ge 5 \) and real \( b > \eta \).
Proof.
The function \( (x+1)^{1/x} < \eta \) for all \( x \ge 5 \), thus \( \eta^x > x+1 \). If \( b > \eta > 1 \), then \( b^x > \eta^x \), so \( b^x > x+1 \).

Lemma 4 (lower bound). For all integer \( k \ge 3 \), \( \eta < a_k = \text{srt}_k(k) \).
Proof.
Since \( k \ge 3 \), then obviously \( k > e \). Together with lemma (2), this implies that \( {}^{k}\eta < e < k \). Substituting \( k = {}^{k}(a_k) \) (hypothesis), this can be written as \( {}^{k}\eta < {}^{k}(a_k) \) which implies \( \eta < a_k \) by lemma (1).

Lemma 5 (decreasing). For all integer \( k \ge 5 \) and \( a_k = \text{srt}_k(k) \), \( a_{k} > a_{k+1} \).
Proof.
We have \( {}^{k}\left(a_{k}\right) = k \) for all integer \( k \) by definition. It follows that
\(
\begin{tabular}{rl}
a_{k+1}^{\left({}^{k}\left(a_{k+1}\right)\right)} & = {}^{k+1}\left(a_{k+1}\right) \\
1 + {}^{k}\left(a_{k+1}\right) & < {}^{k+1}\left(a_{k+1}\right) \\
1 + {}^{k}\left(a_{k+1}\right) & < k + 1 \\
{}^{k}\left(a_{k+1}\right) & < k
\end{tabular}
\)
by lemma (3). Thus \( {}^{k}\left(a_{k+1}\right) < {}^{k}\left(a_{k}\right) \) which implies \( a_{k+1} < a_k \) by lemma (1).

Theorem. \( \lim_{x\to\infty} \text{srt}_x(x) = \eta \)
Proof.
\( \eta < \text{srt}_{k+1}({k+1}) < \text{srt}_k(k) \) for all \( k \ge 5 \) by lemma (4) and lemma (5).
... In the limit, the squeeze theorem and completeness should guarantee that the limit exists and converges to \( \eta \).

Is this right?

Andrew Robbins


Messages In This Thread
Infinite Pentation (and x-srt-x) - by andydude - 04/11/2009, 09:16 AM
RE: Infinite Pentation (and x-srt-x) - by andydude - 04/12/2009, 08:58 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  another infinite composition gaussian method clone tommy1729 2 941 01/24/2023, 12:53 AM
Last Post: tommy1729
  Pentation fractal Daniel 11 3,789 08/03/2022, 03:04 AM
Last Post: JmsNxn
  Infinite tetration and superroot of infinitesimal Ivars 129 245,632 06/18/2022, 11:56 PM
Last Post: Catullus
  Interpolating an infinite sequence ? tommy1729 14 4,829 06/17/2022, 10:41 PM
Last Post: tommy1729
  Improved infinite composition method tommy1729 5 4,335 07/10/2021, 04:07 AM
Last Post: JmsNxn
  pentation and hexation sheldonison 9 25,885 09/18/2019, 02:34 PM
Last Post: sheldonison
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 4,071 03/20/2018, 12:16 AM
Last Post: tommy1729
  Tetration is pentation. This deserve more thinking. marraco 2 8,476 03/30/2015, 02:54 PM
Last Post: marraco
  Mizugadro, pentation, Book Kouznetsov 41 112,402 03/02/2015, 08:13 PM
Last Post: sheldonison
  Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 12,005 05/06/2014, 09:47 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)