Tomlins_freedom_bound