Aristarchus's_inequality loading ...