第一条件に上限サイズ
第二条件に上回らない限りq=維持

にすればいいだけの話だが
何も必ずしも上限サイズに「近づける」理由もない