Definition:Copeland-Erdos Constant