姚明已经够高了，还有比他更高的人。有谁知道那人是谁？叫什么名字？