というか(2)(i)もmax(|a_n|,|b_n|)>=3のときは減少する、という感じで論証する必要があるか
発想自体は受験数学でも高度典型の範疇だと思う