Refined approximation to \(\pi/ \sqrt 3\) by rational fractions (Q1908439)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Refined approximation to \(\pi/ \sqrt 3\) by rational fractions |
scientific article; zbMATH DE number 848932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refined approximation to \(\pi/ \sqrt 3\) by rational fractions |
scientific article; zbMATH DE number 848932 |
Statements
Refined approximation to \(\pi/ \sqrt 3\) by rational fractions (English)
0 references
27 March 1996
0 references
The main result of this paper is that there exists an effective constant \(a_0\) such that for \(a,b\in \mathbb N\), \(a> a_0\) the inequality \(|a\pi/ \sqrt {3} -b|> a^{-4.2}\) holds. The proof is based on the estimation of a certain integral.
0 references
approximation to \(\pi/ \sqrt {3}\)
0 references
irrationality measure
0 references
