  We give a short and elementary proof that every Dynkin diagram admits
finitely many (positive integral) friezes. This was originally proven by
Gunawan-Muller using the geometry of cluster algebras. The proof here provides
an explicit (albeit inefficient) bound on values.
