# Cantor's Serpent

Calculus Level 5

It is well known that one can create a bijection between the natural numbers and the rational numbers by snaking diagonally through the entries of a grid, as can be seen in the picture.

We can define a sequence $$\lbrace a_{i} \rbrace_{i=1}^{\infty}$$ in that manner, ie

$\begin{array}{ccc} a_1 = \frac{1}{1} & a_2 = \frac{2}{1} & a_3 = \frac{1}{2} \\ a_4 = \frac{1}{3} & a_5 = \frac{2}{2} & a_6 = \frac{3}{1} \\ a_7 = \frac{4}{1} & a_8 = \frac{3}{2} & \ldots \end{array}$

Find the value of

$\displaystyle \lim_{n \rightarrow \infty} \frac{\mu(a_{i}, n(n+1)/2)}{n \ln n}$

where $$\mu(x_{i}, n)$$ denotes the mean of the first $$n$$ elements of $$\lbrace x_{i} \rbrace$$.

×