A Diophantine upper bound on the dimensions of certain spaces of
holonomic functions was the main ingredient in our proof with
Calegari and Tang of the 'unbounded denominators conjecture'
(presented by Tang in last year's number theory seminar)
from...
