Cantor's pairing function