Mertens Constant Definition