[math-fun] Length of a _hollow_ stalactite