*Exercise 1.13:* Prove that _Fib_(n) is the closest integer to
[phi]^n/[sqrt](5), where [phi] = (1 + [sqrt](5))/2. Hint: Let
[illegiblesymbol] = (1 - [sqrt](5))/2. Use induction and the
definition of the Fibonacci numbers (see section *Note 1-2-2::) to
prove that _Fib_(n) = ([phi]^n - [illegiblesymbol]^n)/[sqrt](5).
The epub and pdf versions are much more readable. There's probably a way to render the epub version in eww if you really don't want to leave emacs