Weyl law