de_bruijn_newman_constant