brun’s constant