x+4y>=4倍的根号下（xy）
所以xy>=5+4倍的根号下（xy）
利用上式可以解出xy的值