すべての自然数nについて「P(n)」といえるが、「すべての自然数nについてP(n)」とはいえないやつ