Are there any theorems from polynomial approximation of functions that can be applied to fraction approximation of irrational numbers?