Chirikov's celebrated criterion of resonance overlap has been widely used in celestial mechanics and Hamiltonian dynamics to detect global instability, but is rarely rigourous. We introduce two simple Hamiltonian systems, each depending on two parameters measuring respectively the distance to resonance overlap and non-integrability. Within some thin region of the parameter plane, classical perturbation theory shows the existence of global instability and symbolic dynamics, thus illustrating Chirikov's criterion.
