https://peeterjoot.com/2020/10/24/lagrangian-for-the-lorentz-force-equation/
Lagrangian for the Lorentz force equation.