p≧min(1,m)
って、1からmよりpが上ってことでいいんだっけ
それとも
p≧1 ∧ p≧m だっけ?