Property of Fibonacci (1.2.1, 4)

Knuth asks

Prove that, in addition to Eq(3), Fibonacci numbers satisfy F_n ≥ Φ^n-2

Unfortunately, Knuth has failed to include the important point that the above is only valid for n ≥ 1. I suspect that this is because he starts counting from 1. We do not, however, having learned why the natural numbers should begin at 0.

Continued