Here floor is floor function or greatest integer function and phi is Euler totient function.

For n < 10^4 i tried to find the f(n), and turn out to a simple expression :

Can you provide a proof or some argument related to this expression