stolarsky-harborth constant