  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.
