Saya mau tau Definisi formal dari Notasi O besar

Misalkan  adalah fungsi bernilai riil ataupun kompleks dan  adalah fungsi bernilai riil, dan keduanya terdefinisi pada sebuah subhimpunan tak hingga dari bilangan riil positif, sedemikian sehingga  bernilai positif untuk semua nilai  yang cukup besar, maka