Simplify the definition of the Fibonacci sequence