P
Initializing...
A certified sufficient upper bound for Zudilin’s arithmetic constant · Prove2Me