Weyl's inequality (number theory) (source code)

= Weyl's inequality (number theory)
{wiki=Weyl's_inequality_(number_theory)}