We prove the existence of exponentially localised and time-periodic solutions in general nonlinear Hamiltonian lattice systems. Like normal modes, these localised solutions are characterised by collective oscillations at the lattice sites with a uniform time-dependence. The proof of existence uses the comparison principle for differential equations to demonstrate that at... Show more