Actually there’s an explicit formula for Finonacci(x) that involves phi. I think you can use generating functions to derive it. (But your overall point still s

Actually there’s an explicit formula for Finonacci(x) that involves phi. I think you can use generating functions to derive it. (But your overall point still stands.)