Timeline for Closed formula for the factorial over reals
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 4 mins ago | comment | added | domotorp | Rationals are surely allowed in the exponent and I think contrived reals are welcome too, but of course I'm happy to see solutions to other variants as well. | |
| 3 hours ago | comment | added | i9Fn | Are we allowed to use rationals in exponential? for example $(n^{1/2})^{(1/2)^n}$? Also allowing arbitrary real numbers sounds to me like a bad idea - if there is a solution is likely to be with rather contrived real numbers and if there isn't it will be harder to prove. After all Mills' constant sounds amazing until you read how it is defined. @fe4's variant formalization with $k=\mathbb R$ captures this variant. | |
| 6 hours ago | history | asked | domotorp | CC BY-SA 4.0 |