carlson-levin constant