Uma campanha da prefeitura para estimular o pagamento regular do IPTU pagará um total de R$ 220.000,00 aos três munícipes sorteados que estiverem em dia com seus impostos. O prêmio será dividido de forma diretamente proporcional ao tempo de contribuição dos sorteados. Ana foi sorteada e já pagou 10 anos de IPTU. Bernardo foi sorteado e já contribui por 11 anos. Celso foi sorteado mas pagou o seu primeiro IPTU esse ano. Nessas condições, é possível concluir que: