2 added 134 characters in body; deleted 1 characters in body; [made Community Wiki]

Kind of a cheat, but define $f : \mathbb{N} \to \mathbb{N}$ so that $f(n)$ is the initial position (to the right of the decimal point) of the first occurance of $n$ consecutive $5$s in the the decimal expansion of $\pi$, and $0$ if such does not exist.

So $f(1) = 4$, $f(2) = 130$, $f(3) = 177$, $f(4) = 24,466$, etc. I don't think I'm saying too much by claiming that as it is unknown whether $\pi$ is normal, we do not know if $f(n)$ is non-zero for all $n$.

EDIT: I honestly didn't see the almost identical answer in the comments above before posting this. It has thus been made CW.

1

Kind of a cheat, but define $f : \mathbb{N} \to \mathbb{N}$ so that $f(n)$ is the initial position (to the right of the decimal point) of the first occurance of $n$ consecutive $5$s in the the decimal expansion of $\pi$, and $0$ if such does not exist.

So $f(1) = 4$, $f(2) = 130$, $f(3) = 177$, $f(4) = 24,466$, etc. I don't think I'm saying too much by claiming that as it is unknown whether $\pi$ is normal, we do not know if $f(n)$ is non-zero for all $n$.