[math-fun] a small formula