An IS auditor is testing a population of 8,000 accounts payable transactions to detect whether the total dollar value of the balance is materially overstated. Larger-value transactions carry greater potential for material misstatement, and the auditor wants transactions with higher monetary amounts to have a proportionally greater chance of selection. Which sampling method is MOST appropriate?