Re: [math-fun] Smallest term in Zeckendorf representation