Mertens' theorem