A note on higher regularity boundary Harnack inequality

We show that the quotient of two positive harmonic functions vanishing on the boundary of a $C^{k,\alpha}$ domain is of class $C^{k,\alpha}$ up to the boundary.