P. Abreu, E. Guerra, and Ángel Plaza, “Proof without words: limit of a recursive sequence”, Teach. Math. Comp. Sci., vol. 3, no. 1, pp. 121–122, Jun. 2005, doi: 10.5485/TMCS.2005.0087.