f \colon \left[ 0,1 \right> \to \mathbb{N}