A priori error estimate