<math>\lim_{n \leftarrow \infty} \sin (\frac \pi 6) = \frac \pi 6