Minimization of Functional Majorant in a Posteriori Error Analysis Based on H(div) Multigrid-Preconditioned CG Method. (12th July 2009)