The irrationality measure of arctan1/2 is at most 8.585166 | Digital Library | PAMCET | PAMCET