Proofs sometimes come from trying to find out the patterns behind data. Find a pattern in your results from a function and you might find a much simpler way to calculate your values.
ryg
simple9, run length encoding, dictionary
array or map, or spatial partitioning?