Quantificador universal e somatórios