Some more updates to the Fibonacci function to see if it can be proved.