Leading Coefficient of the Order Polynomial