Mean of all possible split-half correlations, corrected by the Spearman-Brown formula