Let Q be a non-degenerate indefinite quadratic form in d
variables. In the mid 80's, Margulis proved the Oppenheim
conjecture, which states that if d ≥ 3 and Q is not proportional to
a rational form then Q takes values arbitrarily close to zero
at...