xaxam | Identities for sale

Дорон Цайльбергер отжог нипадеццки

The seed of the idea came a long time ago, when I was teaching L'Hospital's rule to my calculus students, and mentioned that the rule is not really due to him but to a starving bright contemporary who sold it to him for a good price. It so happens that my beloved electronic servant, Shalosh B. Ekhad, can generate mathematical identities almost instantaneously, many of them much deeper than Dixon's, Saalschutz's, Gauss's, Dougal's, Euler's and Ramanujan's. These new identities are desperate for good names, since it would be boring to call them by serial numbers "Ekhad's one hundred and fifty seventh identity" for example.
So I offered to put them up for auction in eBay, with starting price of $500 each. The lucky winner of each of those (thousands and thousands of) mathematical identities would get a framed certificate, certifying that the sold identity is named after him, and in the data-base of the identities, the identity would be clearly named after the buyer. In addition, an automatically generated paper, would get published in "Electronic Journal of Named Mathematical Identities", with the title "Proof of Joe Doe's Identity", complete with the automatically-generated proof.