>>969
そう。

末尾再帰は、関数先頭へのジャンプで置きかえられるので、
最適化するとスタックを消費せずに済む。