Starting with , take the
logarithm of each side to give
The power series expansion - log(1 - x) = x + x2/2 + x3/3 + x4/4 + ... can then be used to give
Taking derivatives we get
then expanding the right-hand side (and recalling the definition of the von Mangoldt function) we find
back to proof outline archive tutorial mystery new search home contact |