訂正します:

(x_1 * x_2 * … * x_n)^(1/n)
=
exp(log((x_1 * x_2 * … * x_n)^(1/n)))
=
exp((1/n)*log(x_1 * x_2 * … * x_n))
=
exp((1/n)*(log(x_1) + log(x_2) + … + log(x_n)))

log(x) は連続関数だから、

log(x_n) → log(a)

よって、

(1/n)*(log(x_1) + log(x_2) + … + log(x_n)) → log(a)

exp(x) は連続関数だから、

exp((1/n)*(log(x_1) + log(x_2) + … + log(x_n))) → exp(log(a)) = a