IMO 1976 LL USA38

Let x = \sqrta +

IMO 1976 LL USA38

Origin: USA

Problem

Let x = \sqrta + \sqrt b, where a and b are natural numbers, x is not an integer, and x < 1976. Prove that the fractional part of x exceeds 10−19.76.