πŸͺž Echoes Experience β€” Οƒ(n) Β· Ο†(n) = n Β· Ο„(n)

μ •μˆ˜ ν•¨μˆ˜ 항등식 β€” n=6 μ—μ„œλ§Œ μœ μΌν•˜κ²Œ 성립
Οƒ(n) [ν•©]
12
Ο†(n) [ν”Ό]
2
Ο„(n) [개수]
4
μ •μˆ˜ n
n = 6
Οƒ(n)Β·Ο†(n) = nΒ·Ο„(n) β€” uniquely true at n = 6 Β· slide the range and watch the equation collapse only here. Parent repo: dancinlab/echoes Β· Theorem proof: Lean 4 [2, 30] + Python [2, 10000].