O PIB nominal (em R$ bi) de um país é dado por...