Leading Low-Temperature Correction to the Heisenberg–Euler Lagrangian | Synapse