[math-fun] Oddity: What is the average value of the Dragon Curve?