copeland-erdos constant