A combinatorial proof of the equivalence of the classical and combinatorial definitions of Schur function (Q1903010)

The authors give a combinatorial proof that \(\prod x_i^{n + 1 - i} \sum \omega (T)\) equals \[ \left( \sum_{\sigma \in S_n} \text{sgn} (\sigma) \prod x_{\sigma_i}^{\lambda_i + n + 1 - i} \right) \times \prod_{i < j} \left( 1 + {x_j \over x_i} + \left( {x_j \over x_i} \right)^2 +\cdots \right), \] where the sum on \(T\) is over all column strict tableaux of shape \(\lambda\) with the usual weight.