Goodstein function