Можно где-нибудь прочитать про О-символику
Можно. Если что, скажите, что я разрешил

Литературу не вспомню. У Кнута хорошо описано, но покупать здоровенный том ради этого не советую. В принципе, всё достаточно просто выводится из определения:

означает по определению ровным счётом

, где

— некая константа. Не больше и не меньше.