Pは一定という条件でQsが大きくなることの証明が必要。じゃないの?