Milnor and Tjurina numbers for an isolated complete intersection singularity

This paper aims to prove that given a isolated complete intersection singularity, the Milnor number will be bounded by a bound depending only on Tjurina number and dimension of the singularity. The proof uses A$\mathfrak{m}$AC (introduced in arXiv:2204.05594) and as with such methods, the bound is purely existential