28 Dec
2007
28 Dec
'07
5:01 a.m.
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.