https://123dok.net/document/zlg99o6y-rational-approximations-to-atroot-3-of-2-and-other-algebraic-numbers-revisited.html