"모든 n ≥ n₀에 대하여..." 부분에서 n의 범위가 정수가 아니라 실수임을 좀 더 명확히 해 주었으면 좋겠습니다. 보통 알고리즘의 big O 표기에 들어가는 변수의 값은 "입력되는 수의 개수", "쿼리의 개수", "비트 수" 등 정수인 경우가 많아서 오해하기 쉽습니다. 

"모든 실수 n ≥ n₀에 대하여..." 정도면 될 것 같습니다.