São 40 quatrilhões suficientes para se aposentar?