On the Correlation Function of Random Binary Sequences