Use the partition formula with bounds