In mathematics, the n! conjecture is the conjecture that the dimension of a certain module of 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.