Video ini membahas teorema 2 Estimasi Ukuran Fungsi dalam Matematika Diskrit dengan judul "Teknik Perhitungan Lanjutan". Teorema tersebut menyatakan bahwa jika F1x adalah big O dari G1x dan F2x adalah big O dari G2x, maka F1 plus F2x adalah big O dari maksimum harga mutlak G1x dengan harga mutlak G2x. Konsep lain yang dibahas adalah master theorem yang digunakan untuk memperkirakan kompleksitas algoritma. Dengan menggunakan teorema ini, kita dapat menentukan kompleksitas algoritma seperti merge sort dan perkalian cepat. Sebagai contoh, kompleksitas merge sort dapat diestimasi sebagai big O dari N log N.