[math-fun] Pi nut case