テトレーションの列 \[ z,\; z^z,\; z^{\s z^{\s z}},\ldots \] の極限を $ z^{\s z^{\s z^{\s \cdots }}} $ と書くことにします．これが $ \infty $ に発散するような $ z $ はどのようなものであろうかと考えてみました．例えば \[ 2^{\s 2^{\s 2^{\s \cdots}}}=\infty \] は当たり前ですが， \[ \sqrt 2^{\s \sqrt 2^{\s \sqrt 2^{\s \cdots}}}=2 \] となります． $ z $ が正の実数 $ a\in\rea_{>0} $ の場合の $ \infty $ への発散領域は初等解析的な方法によって求めることができます．正の実数 $ a $ に対して \[ 1,\; a,\; a^a,\; a^{\s a^{\s a}},\; a^

一般に、境目は大事です。どこまでが友人で、どこからが恋人なのか、とか。 この記事は「好きな証明」アドベントカレンダー1日目の記事です。 上記の式のことを考えます。今回はは正の実数とします。そのが無限に乗じられているわけです。一見面食らってしまう見た目をしていますが、という列の極限として捉えられる、と考えればそこまで異常な概念でもないと思います。あるいは、この式全体を「」とでも置けば与式はと閉じた見た目にできるので怖くないです。（※極限値があると仮定） さて、当然のこととして、に値を入れてみたときにこの式がどう振る舞うのか知りたくなるのが人情です。とりあえず試しにだとしてみましょう。これはすなわち「」のことなわけですが、これはまあ1を何回乗じても1なのでも1になると予想がつくでしょう。 今度はだとしてみます。という数列は、実際に計算するととなり、明らかに発散（いくらでも大きくなる）しそうな雰

公式アイテムの通販サイト「SUZURI」。ふんどしパレード株式会社 ( GameKimiboku )のオリジナルアイテム・グッズ販売中。オリジナルアイテム・グッズを在庫無しで1つから手軽に作成・販売できるサイト、SUZURI（スズリ）。自分だけのTシャツやスマホケースなどを簡単につくることができます。