Finiteness of trivial solutions of factorial products yielding a factorial over number fields

We consider a Bertrand type estimate for primes splitting completely. As one of its applications, we show the finiteness of trivial solutions of Diophantine equation about the factorial function over number fields except for the case the rational number field.