The openness and smooth-witness conjecture for repeated integrals
The (Pn)(P_n)(Pn) conjecture. (Pn)(P_n)(Pn) is true for all nonnegative integers nnn.