aristarchus' inequalities