mertens constant