Kasus kesamaan memberi titik tetap di ujung; jika tidak, batas kodomain memperketat \(f(a)\geq a\) dan \(f(b)\leq b\) menjadi ketaksamaan ketat yang diminta.