Оба верны, но использование Θ является более сильным утверждением. Обозначение большого О дает асимптотику c верхней границы, тогда как обозначение большого тета дает фактическую асимптотику c скорость роста.
В качестве аналогии представьте, что Алиса и Боб подсчитывают чьи-то ноги. Алиса говорит legs = 2
, а Боб говорит legs ≤ 2
. Алиса и Боб оба правы, но утверждение Алисы сильнее.
При неформальном использовании довольно часто пишется O, когда вы могли бы написать более сильное утверждение с помощью just, просто потому, что у клавиш большинства людей нет Θ ключ.