De Bruijn constant