Fermi-Pasta-Ulam, FPU, lattice, particle chain, traveling wave, 
pulse, front, profile, advance-delay, Legendre series, 
Banach algebra, non-perturbative, computer-assisted proof