O comprimento total de um homem de pé na montanha contra o céu