A short proof of the finiteness of Dynkin friezes

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.