Closed, Deleted, Undeleted, Deleted again Discovered a generalization of the age-old pairing function $2^{y}(2x + 1) - 1$: in higher bases, it drops the exponent and approaches multiplication. I would love some insights on what is still wrong with my question. I have shortened it as advised by m...

I ask to open the question: $\alpha \arccos(x_1) + (1 - \alpha) \arccos(x_2) \geq \arccos \left( \alpha x_1 + (1 - \alpha)x_2 \right)$ if $\alpha x_1 + (1 - \alpha)x_2 < 0$? The stated reason for closing the question is invalid. The question is clear and does not require additional details or cla...