10!=2^8*3^4*5^2*7 と素因数分解されることから、x^16-10!=0 の解には
x=sqrt(2*sqrt(3*sqrt(5*sqrt(7)))) (≒2.570308・・・)
が存在することができる。そこで、
x=sqrt(2*sqrt(3*sqrt(5*sqrt(7*sqrt(11)))))
を解として含む方程式はどんな式であるか?
スモークマンさんからのコメントです。(令和2年5月25日付け)
x^32-11!*10!=0 は満たしますわね ♪