Definition:Prime Reciprocal Constant