  We establish a C^1,alpha Schauder estimate of a non-standard degenerate
elliptic equation and use it to give another proof of the higher order boundary
Harnack inequality. As an application, we obtain the analyticity of the free
boundary in the classical obstacle problem based on iterating the boundary
Harnack principle.
