Derivation of an asymptotic expression in Beenakker's general fluctuation formula for random-matrix correlations near an edge.