I^* := \inf\{S(\delta)=D(f,\delta):\delta \in \Delta\}