onacci number of given <code
	      ><a href="#" title="Prelude"
		>Integer</a
		></code
	      >.</p
	    ><pre
	    >fib n &lt;= fib (n + 1)</pre
	    ></div
	  ></div
	></div
      ></div
    ></body
  ></html
>
