for m, n being Nat st m >= n holds
Fib m >= Fib n