An integral that is close but not equal to pi/8, discussed here: https://mathworld.wolfram.com/InfiniteCosineProductIntegral.html
https://media.mathstodon.xyz/media_attachments/files/109/626/441/451/361/121/original/5437988fba472c18.jpg
@robinhouston brought this amazing fact to our attention.
It's been studied by some very smart people, like Borwein and Bailey. It's still mysterious. But we're trying to figure it out here:
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.