A move from offering no presort program to offering a discount greater than 4.5a, then, is not Pareto optimal.
It is not optimal to move from that program.