is P(2) irrational?