Big Omega Formal Definition