fixed inequality