## Stream: maths

### Topic: continued fractions

#### Yury G. Kudryashov (Jun 01 2020 at 19:13):

@Kevin Kappelmann Do we already have $|α - \frac{p_n}{q_n}|\le \frac{1}{q_nq_{n+1}}$?

#### Kevin Kappelmann (Jun 01 2020 at 21:14):

Just on my laptop so far, but I am pushing PRs whenever I find time to polish parts of the code I still haven't submitted. One PR is open to be reviewed at the very moment. I think there are 3 or 4 more PRs to come until this result is there.

Last updated: May 10 2021 at 06:13 UTC