Definition (von Mangoldt function). The von Mangoldt function Λ:ℕ→ℝ is
Then log=1∗Λ since
Since μ is the inverse of 1, we have