Student BP argues: “Since Σ (−1) to the n · a_n converges and a_n decreases to 0, the error after N terms is less than a_N.” Which choice is the strongest justification?