Para una secuencia $(a_n)$ de números naturales definen $\alpha(n):=\min\{m\in\mathbb{N}:n|a_m\}$ siempre que exista. Así, $\alpha(n)$ es el primer índice $m$ tal que $n$ divide $a_m$ .
Ahora define la siguiente secuencia. Configure $a_1:=1, a_2:=1$ y $$ a_{x+2}:= 1 + \sum_{n:\alpha(n)\leq x}\varphi(n)\left\lfloor\frac{x}{\alpha(n)}\right\rfloor $$ para $x\geq 1$ . La suma está destinada a todos los $n$ que dividen al menos una $a_m$ con $m\leq x$ . $\varphi$ es la función totiente de Euler. Se puede demostrar que es la sucesión de Fibonacci.
Mi sospecha es que lo anterior no es más que una forma enrevesada de enunciar alguna conexión conocida o incluso obvia entre la función totiente de Euler y los números de Fibonacci. ¿Qué se me escapa?
P: Me gustaría tener una referencia (en caso de ser muy conocido) o una prueba breve (en caso de ser obvio).