这是今年IMO第二天的第1题。
解析摘自:http://wenku.baidu.com/link?url=jtykj11iF5KwQ-JHQdoVtrOTcgXI9JDEvt96SFSI_soV3XZ62bc9MCmYq5d8pSnAeWb6ZYBW29az9q_JkI7lMxTuaqR7nKtAs_GtsTxvBoS
等下