erdos sequence