rough least Fixed Point