CDF of the largest effective Einstein radius, assuming a redshift interval of 0.5 ≤ z ≤ 1.0, the full sky and a source redshift of z_s = 2.5. The dashed-dotted lines illustrate the uncertainty in the CDF due to the imprecision of the WMAP7 value of σ₈. The vertical shaded regions denote the values of θ_eff for which the CDF takes a value equal to nσ with n ∈  [ 1,5] , as labelled in the panel. The red filled circle denotes the measured value of θ_eff for MACS J0717.5 and the short red arrow points at the corresponding value of the CDF.