mertens function