Проще всего доказывать <=, поэтому о большое. Но по факту много где имеют в виду тету, просто не доказывают. Например, когда пугают квадратичным алгоритмом в проде
Ладно доказать, там тесты строятся на раз-два, если рандом детерминирован. На соревнованиях валить встроенный джавовский Array.sort в квадрат — милое дело. Ну, лет 5-15 назад и только для примитивов. Может, уже поправили