Formal Definition Of Big Theta