Rigorous bounds on light-by-light scattering | Synapse