Enunciado
(VUNESP-SP) Segundo a matéria publicada em O Estado de São Paulo (09/06/96), o Instituto Nacional de Seguridade Social (INSS) gasta atualmente 40 bilhões de reais por ano com o pagamento de aposentadorias e pensões de 16 milhões de pessoas. A mesma matéria informa que o Governo Federal gasta atualmente 20 bilhões de reais por ano com o pagamento de um milhão de servidores públicos federais aposentados. Indicando por \( x \) a remuneração anual média dos beneficiários do INSS e por \( y \) a remuneração anual média dos servidores federais aposentados, então \( y \) é igual a: