Cantor pairing function