2008-07-10, 05:14 PM
I had an account on AoPS a long time ago...
Does anyone know who first derived that formula?
Does anyone know who first derived that formula?

