> It sounds like a limit. xn --> x for n --> :-) Yeah, that's right. > How can I get that maximal value when I start from a non maximal one ? Not a problem. For example, "const 1" maps each value (even (_|_)) to the maximal value "1". > [1 .. ] and x=1:x are maximal ? Yes.