It is provable in ZF that the product of any countably infinite sequence of two point spaces (each with the discrete topology) is compact. It is not provable in ZF that the product of any countably infinite sequence of three point spaces (each with the discrete topology) is compact. Known? Harvey Friedman