TeX source:
f+\Delta \leq b_c