https://5dok.org/document/y4wj19ov-bounds-on-hilbert-functions.html