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 |