数列 {c_n} を次のように定義する。
　c_1 = ｅ,
　c_{n+1} = ｅ^(c_n),　　　n≡0,3 (mod 4)
　c_{n+1} = π^(c_n),　　　n≡1,2 (mod 4)

数列{d_n} を次のように定義する。
　d_1 = π,
　d_{n+1} = π^(d_n),　　　n≡0,3 (mod 4)
　d_{n+1} = ｅ^(d_n),　　　n≡1,2 (mod 4)

このとき
　c_n < d_n　　(n=1,2)
　c_n > d_n　　(n≧3)
　(Hokutou-Kumano, 数セミ, Vol.５０, No.10, 通巻600, p.68-69 (2011/Oct))