How big should an asteroid be?