אז ככה
נתונה סיבוכיות של שני אלגוריתמים : O1 ו - O2.
צריך להוכיח : O1+O2 = המקסימום מבין שניהם.
כלומר א נתון O
וגם נתון O(n^2) אז החיבור בינהם הוא O(n^2 ).
 
אז ככה:
א. אינטואיטיבית, אכן סיבוכיות של n^2 גדולה יותר מ- n , לדוגמא. אבל מה ההגדרה הפורמלית לגודל של סיבוכיות? איך אפשר להגיד פורמלית שסיבויות אחת גדולה או קטנה מסיבויות אחרת? לפי חלוקה אחד בשני ושאיפה לאין סוף?
ב. כיוונים לאיך להוכיח את זה?