A bound for the least prime ideal in the Chebotarev Density Theorem — latest news, discussion & facts — IJR