Q43 Matemática  (Tournament Of Towns 2006)

O $n$-ésimo dígito do número $a=0,\mathrm{12457...}$ é igual ao primeiro dígito da parte inteira do número $n\sqrt{2}$. Prove que $a$ é um número irracional. (6)