bc — do (60) For very small N it could be that Eq. (60) is negative, but it will be positive for any moderate to large N, making E[dx] > 0 for x= 1/N. Combining this with Eq. (59), we conclude that here, with a2 > bc > d2 do, if n is large enough, then Eldx] > 0 for all K = 1 N - 1. Previous Figs. 3 and 4