a_n>b_n을 만족하는 n의 최솟값을 k에 대한 식으로 나타낼 수 있을까?