If \(\sum a_n\) converges, \(a_n\to0\), so there is \(N\) with \(a_n\le1\) for \(n\ge N\) and then \(0\le a_n^2\le a_n\). Comparison gives convergence, with no monotonicity needed.
A test that decides whether a series \(\sum a_n\) of nonnegative terms converges by comparing it with another series \(\sum b_n\) such that \(a_n\le b_n\).