Q19 Matemática  (IMO 1980)

Dado um número real $x>1$, prove que existe um número real $y>0$ tal que $$\underset{n\to \infty }{\lim }\underset{n\text{ raıˊzes}}{\underbrace{\sqrt{y+\sqrt{y+\cdots +sqrty}}}}=x.$$