  We prove several conjectures made by Z.-W. Sun on the existence of
permutations conditioned by certain rational functions. Furthermore, we fully
characterize all integer values of the "inverse difference" rational function.
Our proofs consist of both investigation of the mathematical properties of the
rational functions and brute-force attack by computer for finding special
permutations.
