асимптотическая точная оценка для квадратичных функций

В CLRS ( Введение в алгоритмы Кормена, Лейзерсона, Ривеста и Стейна) для функции

f ( n ) = an ² + bn + c

они сказали

Предположим, мы берем константы c ₁ = a / 4, c ₂ = 7 a / 4 и n ₀ = 2 · max (| b | / a , √ (| c | / a )).
Тогда 0 ≤ c ₁ n ² ≤ an ² + bn + c ≤ c ₂ n ² для всех n ≥ n ₀ .
. Следовательно, f ( n ) равно Θ ( n ² ).

Но они не указали, как пришли значения этих констант?
Я пытался это доказать, но не смог.
Расскажите, пожалуйста, как появились эти константы?