$(CZS 4)$ Let $K_1,\cdots , K_n$ be nonnegative integers. Prove that $K_1!K_2!\cdots K_n! \ge \left[\frac{K}{n}\right]!^n$, where $K = K_1 + \cdots + K_n$
Problem
Source:
Tags: inequalities, factorial, algebra, combinatorics, combinatorial inequality, IMO Shortlist, IMO Longlist