k>P(1)