$a_0=\mathrm{tfrac}112$