Description: The aleph function has at least one fixed point. Proposition 11.18 of
TakeutiZaring p. 104. See alephfp for an actual example of a fixed
point. Compare the inequality alephle that holds in general. Note that
if x is a fixed point, then alephalephaleph` ...
aleph `x = x . (Contributed by NM, 6-Nov-2004)(Revised by Mario