mertens second theorem