Q12 Matemática  (IMO Shortlist 1983)

Encontre todas as funções $f$ definidas no conjunto de reais positivos que assumem valores reais positivos e satisfazem: $f(xf(y))=yf(x)$ para todos os $x,y$; e $f(x)\to 0$ como $x\to \infty$.