最高固定点

maximum fixpoint