[math-fun] peculiar log π series