is P(3) irrational?