[math-fun] Smallest term in Zeckendorf representation