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