\begin{definition}[Definition:Prime-Counting Function/Examples/16]
The value of the prime-counting ($\pi$) function for $16$ is determined as follows.
The prime numbers less than $16$ are:
:$2, 3, 5, 7, 11, 13$
Hence:
:$\map \pi {16} = 6$
\end{definition}