O comprimento total de um homem de pé junto a uma árvore contra o céu