Considera la siguiente integral: I=∫∞1arccot(1+2πarcothx−arccscx)dx√x2−1, donde arccsc es el cosecante inversa , arccot es el cotangente inversa y arcothx es el cotangente hiperbólica inversa .
La integración numérica aproximada sugiere una posible forma cerrada: I?=πlnπ4−3πln28. No he podido establecer rigurosamente la igualdad, pero el valor es correcto hasta al menos 900 dígitos decimales.
¿Es el valor exacto correcto de la integral I ?