• if is the number of empty boxes
  • if is the number of Pigeon
  • If , then one box must have 2 or more pidgeons