fixed_point_recursion