sum(128/(128-k), k, 0, 127)