Para una secuencia (an) de números naturales definen α(n):=min 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).