Comment by zaik

> energy to assess the correctness and relevance of such "results".

The author claims to have a proof in Lean. Checking the correctness of the result is now reduced to checking the definition of the constant.