Optimal laser focusing for positron production in laser–electron scattering