erdos-borwein constant