■リュ−ビルの定理とロスの定理(その50)
|3√2-p/q|>10^-6/q^2.955 (Baker, 1964)
[1;3,1,5,1,1,4,1,1,8,1,14,1,10,2,1,4,,,]
===================================
|log2-p/q|>10^-10/q^5.8 (Alladi, 1979)
|π-p/q|>1/q^42 (すべての有理数に対して: Mahler, 1953)
|π-p/q|>1/q^30 (十分大きなqに対して: Mahler, 1953)
|π-p/q|>1/q^20.6 (すべての有理数に対して: Mignotte, 1974)
|π-p/q|>1/q^20 (b>a>96に対して: Mignotte, 1974)
|π-p/q|>1/q^8.0161 (十分大きなqに対して: Hata, 1993)
===================================