I know the formula. My question was about history. When did the formula or calculation first appear in print, or when was some reference to it first given? As I said, the first I've found was Galileo's calculation of the height of a mountain on the moon.