[math-fun] a curious formula