lehmers mahler measure problem