Fixed Point Iteration Correctness and Error Bound

Published --