|(A)_p|\geq |A|