The Burnside problem for odd exponents

We show that the free Burnside groups $B(m,n)$ are infinite for $m\ge 2$ and odd $n\ge 557$, the best currently known lower bound for the exponent. The proof uses iterated small cancellation theory where the induction is based on the nesting depth of relators. The main instrument at every step is a new concept of a certification sequence.