Normally Google can answer all of one's research questions, but this one is exceeding my skills. Does anyone have any idea how many people in the world are, say, seven feet tall or more? Or, relatedly, know the standard deviation of human male height?