Added post on Cantor pairing function