В нотации big-O верно, что O (n ^ 2) = O (n ^ 2/2), поэтому, конечно, O (n ^ 2/2) существует, констатировать константу просто бессмысленно так зачем? Не то чтобы это не правильно, просто бессмысленно.
Это похоже на простую математику 6-го класса: X = X * 1. Нет смысла записывать умножение на 1, но это не ошибочно.