RE: [math-fun] arctan: update sieving and a fun relation