User blog comment:DrCocktor/DrCocktor’s Number/@comment-35470197-20181016225110

When I tried to prove that your number is actually greater than \(0\), I got an awful headache, and hence I could not...