Problema da IMO 1962 de inequação radical (modificado)