[math-fun] intriguing partial result