Problem: Let $a$ and $b$ be nonzero elements of euclidean domain $A$ and let $p_1,...,p_s$ be a maximal system of irreducible divisors, pairwise non-associated, of $ab$. Writing $a=up_1^{e^1}...p_{_s}^{e^s}$ and $b=v_{p_1}^{f^1}...p_{_s}^{f^s}$ for $u,v \in A^x$ I wish to show that the $lcm(...

I recently noticed two new tags upper-bound and lower-bound. AFAICT both were first used in August 2016 in this post. Currently there are about 20 questions carrying either tag. Neither has a tag wiki nor a follower. The topics of the questions with the lower-bound tag range from number theory t...