High‐Redshift Galaxies: Their Predicted Size and Surface Brightness Distributions and Their Gravitational Lensing Probability | Synapse