erdos-selfridge function