Откуда берётся формула объёма конуса?

В данном видео через интеграл выводим формулу объёма прямого кругового конуса