A real number a is computable if it can be approximated by some computable function f : N → Z {\displaystyle f:\mathbb {N} \to \mathbb {Z} } in the following manner: given any positive integer n, the function produces an integer f(n) such that: