>>637回答ありがとうございます。実はあのあとひらめいたのですがＰＦは０以上、ＰＦ’も０以上において
(１)ならばＰＦ’は２a以下。それから(２)の右辺は０以上と出したのですがいかがでしょうか？
もしかしたら２aは０超過を考慮するとより厳密になるかもしれませんが・・・。