בעיית שטיינר – הבדלי גרסאות

 

מכאן, הנגזרת של <math>g</math> היא חיובית לכל <math>0<x<e</math> ושלילית לכל <math>x>e</math>, מה שגורר את העובדה שלפונקציה <math>g</math> (ולכן גם לפונקציה <math>f</math>) יש מקסימום (גלובלי) בנקודה <math>x=e</math>.