Alladi-Grinstead constant