Title: Ajima's method of finding the length of an arc of a circle