Two Variables Are Not Enough

Let n be the smallest integer such that every closed lambda term beta converts to one with at most n bound variables. We show that n = 3.