Hofmann elimination is an elimination reaction of an amine to form alkenes. The least stable alkene, called the Hofmann product, is formed. This tendency, known as the Hofmann alkene synthesis rule, is in contrast to usual elimination reactions, where Zaitsev's rule predicts the formation of the most stable alkene. It is named after its discoverer, August Wilhelm von Hofmann.