mertens theorem