🚀 go-pugleaf

$BJ?2l$G$9!#(J
$B$I$&$b$$$N$&$($5$s$K@h1[$5$l$A$c$$$^$7$?!#(J	:-)
# $B%7%9%F%`%H%i%V%k$d$i!"Iw<Y$G%@%&%s$d$i$7$F$$$^$7$F(J...

$BF1$8$3$H$N3NG'$G$9$,!"<c43$NJdB-$b$3$a$F!#(J
$B!J$J$*$3$N7o!'(J f(1)^f(2)^... $B$N<}B+$K$D$$$F$N(J
$BEvLL$N$^$H$a$O8e$GEj9F$7$^$9!#!K(J

$B5-9f$H$7$F!'(JT(f;n) = f(1)^...^f(n) $B$N$H$-!"(J
$B4q?tNs(J T(f;2k+1) $B$OC1D4A}2C$G(J -> $B&A(J(f)$B!"(J
$B6v?tNs(J T(f;2k) $B$OC1D48:>/$G(J   -> $B&B(J(f)$B!"(J
$B&A(J(f)=$B&B(J(f) $B$J$i(J T(f;n) $B$O<}B+!"&A(J(f)<$B&B(J(f) $B$J$iH/;6$G$7$?!#(J
$B$=$3$G(J
	I(f) = ($B&A(J(f), $B&B(J(f))
$B$H$$$&3+6h4V$r$H$k$H!"$3$l$O6K8BCM$b4^$a!"(JT(f;n) $B$N$I$NMWAG$bF~$l$J$$!"(J
$B$$$o$P!VHsIpAuCfN)COBS!W$J$$$7!VIT2D?/COBS!W$G$9(J
$B!J$b$A$m$s(J $B&A(J(f)=$B&B(J(f) $B$J$i(J I(f)=$B&U!J6u=89g!K!K!#(J

=====
In article <PC00137.96Jan26154820@srv.cc.hit-u.ac.jp> pc00137@srv.cc.hit-u.ac.jp (Inoue-Koichi) writes:
>$B$G!"(Jf(n)$B$,9-5AC1D48:>/$J$i3N$+$K@.$jN)$A$^$9$M!#(J
>$B0lHL$K(Jf(n)>=f(n+1)$B$J$i!"&A(J(f)<=$B&A(J(f(1)),$B&B(J(f)>=$B&B(J(f(1))$B$H$J$j$^$9!#(J
>$B5"G<E*$K!"(J
>f(1)<$B&A(J(f(1))$B$O&A$N@-<A!#(J
>f(1)^...^f(2n-1)<$B&A(J(f(1))$B$^$GMh$?$H$9$k$H!"(J
>f(1)^{f(2)^...^f(2n)}>=f(2)^{f(2)^...^f(2n)}>f(2)^$B&A(J(f(2))
>=$B&B(J(f(2))>=$B&B(J(f(1))$B$H$J$j!"(J
>f(1)^...^f(2n)>$B&B(J(f(1))$B$^$GMh$?$i!"(J
>f(1)^{f(2)^...^f(2n+1)}<f(1)^$B&B(J(f(2))<f(1)^$B&B(J(f(1))=$B&A(J(f(1))$B$H!#(J

$B$^$"F1$8$3$H$G$9$,!";d$O(J
	e^(-e)>a$B!f(Jb$B!f(Jc$B!f(Jd$B!f(J... $B!J(Jf(i) $B$H=q$/$N$O$o$:$i$o$7$$$N$G!K(J
$B$KBP$7!"(J
	T(f0) = a^a^a^a^a^...
	T(f1) = a^b^b^b^b^...
	T(f2) = a^b^c^c^c^...
	T(f3) = a^b^c^d^d^...
		...
	$B6K8B$G(J T(fn) -> T(f)
$B$H$$$&7ONs$r9M$($^$7$?!#(J
$B$3$&$9$k$H(J ^b^b^b^... $B$N$h$&$KF1$8?t$,B3$/ItJ,$N>e5-!VIT2D?/COBS!W$O(J
	I(b) = ($B&A(J(b),$B&B(J(b))
$B$G$"$j!"$=$l$r#1CJ9_$m$7$?(J f1 = {a,b,b,...} $B$K$*$1$k(J I(f1) $B$NI>2A$O!"(J
	I(f1) >> I(a)
$B$H$J$j$^$9!J$?$@$7(J A>>B $B$O!V(JB $B$O(J A $B$NItJ,=89g!W$N0UL#!K!#(J
$B$3$N!V9_$m$9!WA`:n$O=g<!7+$jJV$9$3$H$,$G$-!"(J
	I(a)<<I(b)<<I(c)<<I(d)<<...
$B$H$$$&I>2A7ONs$,7A@.$5$l!"$7$?$,$C$F:8C<$G(J I(fn)>>I(a)$B!"(J
$B6K8B$r$H$C$F$b(J I(f)>>I(a)$B!b&U$+$i(J T(f) $B$NH/;6$,$o$+$j$^$9!#(J

$B$D$^$j(J
	T(f) = a^b^c^d^...
$B$G(J I(*) $B$NI}$NI>2A$O1&$+$i:8$K?J$`$K$D$l$F$I$s$I$s69$^$k$N$G$9$,!"(J
$B$=$l$,:8C<$G(J I(f) $B$H$J$C$F$b(J I(a) $B$GDl$rBG$D$H$$$&$o$1$G$9!#(J
$B$^$"7k6I$$$N$&$($5$s$HF1$8$G$9$,!"(J
$B69$^$kMM;R$,8+$($k$h$&$K$J$C$F$$$k$N$OMxE@$+$J!)(J

$B$?$@$b$A$m$s!"(J
	I(a)<<I(b)<<I(c)<<I(d)<<...
$B$H$$$&$N$O(J I(f) $B$NI>2A$H$7$F$O9S$9$.$k!J$-$D$9$.$k!K$N$G$"$C$F!"(J
I(f) $B$O<B:]$K$O!J>/$J$/$H$b(J I(a) $B$h$j$O!K$:$C$HBg$-$$$G$9!#(J
$B$5$b$J$$$H!"(Je^(-e)>a $B$H$$$&@)8B$r$O$:$7$?(J a>b>c>d>... $B$K$*$$$F!"(J
$B!V(Ja>e^(-e) $B$J$i(J I(a)=$B&U$@$+$i!"(Ja^b^c^d^... $B$O<}B+$9$k!W(J
$B$J$I$H$$$&%J%s%;%s%9$r$d$j$+$M$^$;$s!#(J

$B$b$&>/$7<B8zE*$J(J I(f) $B$NI>2A$O2DG=$+!)!!$5$"!#(J

===================
>   Yuzuru>$B&A(J(f)<$B&A(J(a)$B!"&B(J(a)<$B&B(J(f) $B$,@.$jN)$A$^$9!#(J
>   Yuzuru># $B$3$l$O$A$c$s$H>ZL@$7$F$$$^$;$s$,!"Bg>fIW$N$O$:$G$9!#(J
>$B$3$A$i$OH?Nc$,$"$j$^$9$M!#(Jf(1)=a/2,f(n)=a-$B&E$@$H!"&B(J(f)<$B&B(J(a)$B$H$J$k$h(J
>$B$&$K&E$rD4@a$G$-$^$9!#(J

$B$O$$$*$C$7$c$kDL$j$G$9!#(J
$B$7$?$,$C$F>e$N8@L@!JIp;N$N>p$1$G!VM=A[!W$K$7$F$*$$$F$/$@$5$$(J ;-$B!K$OE12s$7$^$9!#(J
$B>/$7>r7o$r4K$a$F(J
	0<f(n)$B!e(Ja<e^(-e)
$B$K$9$k$H!"$I$s$J(J b: b<a $B$G$"$C$F$b!"(J
	b^(a^...^a) < a^(a^...^a)
$B$G$9$+$i:8JU$N&B$NCM$O1&JU$N&B(J(a) $B$h$j>.$5$/$J$C$F$7$^$$$^$9!#(J

$B$b$A$m$s$3$l$G85$NL?Bj!'(J
	0<f(n)<a<e^(-e) $B$J$i(J T(f) $B$OH/;6(J
$B$,H]Dj$5$l$?$o$1$G$O$"$j$^$;$s!#(J
$B>/$J$/$H$b!"$3$l$KBP$9$kH?Nc$O:#$N$H$3$mCN$j$^$;$s!#(J
$B<B$N$H$3$m!"$3$NL?Bj<+BN$OAjJQ$o$i$:@.$jN)$D$H!VM=A[!W$7$^$9$7!"(J
$B$b$C$H>r7o$,4K$a$i$l$k$H$b;W$$$^$9(J
$B!J(Jf(n)>e^(-e) $B$G$"$k(J f(n) $B$,>/!9!J$b$A$m$sL58B8D!K$"$C$F$b(J T(f) $B$O(J
$BH/;6$9$k!"$H$$$C$?$h$&$J!K!#(J

====
>$B$b$H$b$H$N(J1/2^1/3^1/4^...$B$OJ?2l$5$s$N$3$NI>2A$G>u67$&$^$/$o$+$j$^$7$?(J
>$B$,!"C1D48:>/$G$J$$(Jf(n)$B$K$D$$$F$O$I$&$J$s$G$7$g$&!)(J

T(f) = f(1)^f(2)^f(3)^...
$B$K$*$$$F!":G=i$NM-8B8D$N9`$O(J T(f) $B<+BN$N<}B+@-$K$OA4$/4sM?$7$^$;$s!#(J
	f(1)^...^f(n)^f(n+1)^...
$B$G(J f(n+1)^f(n+2)^... $B$GDj$^$k(J I(fn) = ($B&A(J(fn), $B&B(J(fn)) $B$KBP$7!"(J
$B:G=i$N(J f(1)...f(n) $B$NItJ,$O!"(JI(fn) $B$r=L$a$k!?9-$2$k!">e2<$K$:$i$9$J$I$N(J
$B8z2L$7$+5Z$\$7$^$;$s!J$b$A$m$s(J f(i)=0,1 $B$J$I$,$"$l$POC$OJL$G$9$,!K!#(J

$B$7$?$,$C$F(J T(f) $B$N<}B+@-$r9M$($k$K$O(J n->$B!g$G$N(J f(n) $B$N?6$kIq$$!"(J
$BFC$K(J limsup $B$d(J liminf $B$J$I$r9M$($kI,MW$,$"$k$N$@$H;W$$$^$9!#(J
$B$A$g$C$H$3$l$O$9$0$K$O$G$-$=$&$b$J$$$G$9$,!"(J
$B$f$k$f$k9M$($F9T$-$^$9!#(J

$B!JJ?2l!w?^=q4[>pJsBg3X!K(J