Revision 9cf72569-22c4-43b3-aa5c-d723d6a16fcb - Code Golf Stack Exchange
# [Jelly], 9 [bytes]
ÆṪÐĿÆFL€S
[Try it online!] or [verify all test cases].
### Background
The definition of sequence [A064097] implies that
[![definition][1]][1]
By [Euler's product formula]
[![Euler's product formula][2]][2]
where **φ** denotes Euler's totient function and **p** varies only over prime numbers.
Combining both, we deduce the property
[![first property][3]][3]
where **ω** denotes the number of distinct prime factors of **n**.
Applying the formula **k** times, where **k** is large enough so that **φ<sup>k+1</sup>(n) = φ<sup>k</sup>(n) = 1**, we get
[![second property][4]][4]
From this property, we obtain the formula
[![formula][5]][5]
where the last equality holds because **ω(1) = 0**.
### How it works
ÆṪÐĿÆFL€S Main link. Argument: n
ÐĿ Repeatedly apply the link to the left until the results are no longer
unique, and return the list of unique results.
ÆṪ Apply Euler's totient function.
Since φ(1) = 1, This computes φ-towers until 1 is reached.
ÆF Break each resulting integer into [prime, exponent] pairs.
L€ Compute the length of each list.
This counts the number of distinct prime factors.
S Add the results.
[bytes]: https://github.com/DennisMitchell/jelly/wiki/Code-page
[Jelly]: http://github.com/DennisMitchell/jelly
[Try it online!]: http://jelly.tryitonline.net/#code=w4bhuarDkMS_w4ZGTOKCrFM&input=&args=MTU3MDQ3NzgxMTY1NzIzNzIxNzAzODQxMTUyMDYyMDM3MDQ1Nzc0MTQzMTkxNzExNTg0NDExOTM0MDg2MDgzNjM2NzA3Njc5NTM1MDgwMjQwMTY3Njg5MzM2ODk2OTkxMjExMjMyOTk3OTU5NjUzMzYxODIxNTI3MzA2OTYxODU4NjA5NTY3NjIyMjg5ODg4ODA2NTA1NTYyNTgzOTgzOTI5MDk1NDMyMTU3MzMwMjc1MzI5ODE2MzA3NzYxMzc4NTM4ODExMTY4MzgwNDIxNzY3NjMxMDk0NTcwMDAwNjQxMzY4MDE1NTgwMTcyNjc0MzQxNTkxMzY3Mzc4NTAxODE4OTM5NzIwMTA3OTk1NjE0MDE3MTgyNjg5MjIwOTQ2MTk0ODg0NzM0MTI1MjU0Mzk1MzE5NzQ0MDUyMDQyMDU4NDE5Njk0MzA1MTUwNTIyNzg3NzYwNDU4NjY0OTQ5NTIzNzc4OTYxMTA5MjQxNzUwOTg3NjA5OTkzNTc5NjE0NjU4NDk5MTE5ODczNzgyOTAxODYxNjg5MjU2ODYzODM4MTM2NjkyMTEwMTY5MTc0OTI0OTMxNTU5MTQ0MDE2NDE0MTU5MzU5NjYyNzUyMDIyNjU0Mzk5NjcyODM0NjEzNDU1MzMwMDg3OTIwMzQyNTg1NTM5NjU5NDMyOTg0NTc2
[verify all test cases]: http://jelly.tryitonline.net/#code=w4bhuarDkMS_w4ZGTOKCrFMKw4figqxH&input=&args=NSwgMzAsIDMxLCAzMiwgMTAwLCAyMDAsIDE1NzA0Nzc4MTE2NTcyMzcyMTcwMzg0MTE1MjA2MjAzNzA0NTc3NDE0MzE5MTcxMTU4NDQxMTkzNDA4NjA4MzYzNjcwNzY3OTUzNTA4MDI0MDE2NzY4OTMzNjg5Njk5MTIxMTIzMjk5Nzk1OTY1MzM2MTgyMTUyNzMwNjk2MTg1ODYwOTU2NzYyMjI4OTg4ODgwNjUwNTU2MjU4Mzk4MzkyOTA5NTQzMjE1NzMzMDI3NTMyOTgxNjMwNzc2MTM3ODUzODgxMTE2ODM4MDQyMTc2NzYzMTA5NDU3MDAwMDY0MTM2ODAxNTU4MDE3MjY3NDM0MTU5MTM2NzM3ODUwMTgxODkzOTcyMDEwNzk5NTYxNDAxNzE4MjY4OTIyMDk0NjE5NDg4NDczNDEyNTI1NDM5NTMxOTc0NDA1MjA0MjA1ODQxOTY5NDMwNTE1MDUyMjc4Nzc2MDQ1ODY2NDk0OTUyMzc3ODk2MTEwOTI0MTc1MDk4NzYwOTk5MzU3OTYxNDY1ODQ5OTExOTg3Mzc4MjkwMTg2MTY4OTI1Njg2MzgzODEzNjY5MjExMDE2OTE3NDkyNDkzMTU1OTE0NDAxNjQxNDE1OTM1OTY2Mjc1MjAyMjY1NDM5OTY3MjgzNDYxMzQ1NTMzMDA4NzkyMDM0MjU4NTUzOTY1OTQzMjk4NDU3Ng
[A064097]: https://oeis.org/A064097
[Euler's product formula]: https://en.wikipedia.org/wiki/Euler%27s_totient_function#Euler.27s_product_formula
[1]: https://i.sstatic.net/2zOrg.png
[2]: https://i.sstatic.net/e1Uft.png
[3]: https://i.sstatic.net/svLG8.png
[4]: https://i.sstatic.net/ZV1WA.png
[5]: https://i.sstatic.net/iZ651.png