Moving inequalities safely - Pathological Real Functions | Zoonk