1996 IMO Problem #4