לרשום במחברת אופטימיזציה:
אינפימום של פונקציות קעורות הוא פונקציה קעורה, כמו שמקבימום של פונקציות קמורות יוצר פונקציה קמורה
הכוונה היא שהפוקנציה הדואלית תמיד נמצאת כולה מתחת לפונקציה המקורית. לא משנה איזה למדא או וי אנחנו מציבים מקבלים חסם תחתון על הפונקציה המקורית. כלומר הפונקציה המקורית לא יכולה לקבל ערך יותר טוב מזה
פונקציה דואלית מתקבל מכך שלוקחים את פונקציית הלגרג’יאן ומציבים בה את האיקס הכי טוב (האינימום שממזער את הפונקציה המקורית)