訂正ついでに

Σ[k]σ(k)
=Σ[k]Σ[l]μ(k,l) (kを固定してlを走らせてsのindic.をたし合わせてσ(k)になる)
=Σ[l]Σ[k]μ(k,l) (足し算の順番変えても同じ)
=Σ[l]⌊n/l⌋ (lを固定してkを走らせてSのindc.を足すとn以下のlの倍数になるから⌊n/l⌋になる)