$a_1, a_0, c_1, c_2, n_0$가 입력으로 주어질 때, 모든 $n \geq n_0$에 대해 $c_1\times n \leq a_1n+a_0 \leq c_2\times n$을 만족하는지를 판단하는 문제입니다.
$n = n_0$일 때 부등식을 만족하고, $c_1\leq a_1 \leq c_2$이면 모든 $n$에 대해 정의를 만족합니다. 식 정리를 대충 해 보면 나와요