fixed-point-iteration