In mathematics, the n! conjecture is the conjecture that the dimension of a certain bi-graded module of diagonal harmonics is n!. It was made by A. M. Garsia and M. Haiman and later proved by M. Haiman. It implies Macdonald's positivity conjecture about the Macdonald polynomials.