On the other hand, with GCH, if you can prove $|A| > \aleph_i$ and $|A| \le \aleph_{i+1}$ then you are already done proving $|A| = \aleph_{i+1}$.