Aproximação de funções holomorfas em espaços de dimensão infinita