12642178765domain: NAppears in sequencesSmallest value of k such that Sum_{j=1..k} arctan(1/j) > n*Pi/2.at n=15A230126