Q25 Matemática  (IMO Longlists 1989)

Os inteiros com são definidos por e Prove que