A Posteriori Error Estimate for Contraction Iteration