Talk:Greatest fixed point