Fermi-Pasta-Ulam, FPU, lattice, particle chain, breather, 
periodic solution, stability, Floquet, Krein, computer-assisted proof