Greatest fixed point

  1. REDIRECT Least fixed point {{R from merge}}