User blog comment:P進大好きbot/Kyodaisuutan System/@comment-11227630-20190604021651/@comment-35470197-20190604023346

1. Please see the beginning of the formula. I applied the universal quantifier for not only \(a,b,c\) but also \(d,e\). Namely, I require that the equality for \(\left(^{a,b}_{\ c}\right)\) holds for any choice of \(d,e\).

2. The result is always an integer even though I used \(\lim_{x \to \infty}\).