https://doi.org/10.3888/tmj.23-2   Lehmer defined a measure where the may be either integers or rational numbers in a Machin-like formula for . When the are integers, Lehmer’s measure can be used to determine the computational efficiency of the given Machin-like formula for . However, because the computations are complicated, it is unclear if Lehmer’s measure applies … Continue reading Unconditional Applicability of Lehmer’s Measure to the Two-Term Machin-like Formula for π