[math-fun] Length of a stalactite