The constant was mentioned in Hilbert's seventh problem.
这个常数在希尔伯特第七问题中曾提到过。