Problem

Source: 2021 Taiwan TST Round 1 Mock Day 2 P4

Tags: Inequality, algebra, Taiwan



Let $n$ be a positive integer. For each $4n$-tuple of nonnegative real numbers $a_1,\ldots,a_{2n}$, $b_1,\ldots,b_{2n}$ that satisfy $\sum_{i=1}^{2n}a_i=\sum_{j=1}^{2n}b_j=n$, define the sets \[A:=\left\{\sum_{j=1}^{2n}\frac{a_ib_j}{a_ib_j+1}:i\in\{1,\ldots,2n\} \textup{ s.t. }\sum_{j=1}^{2n}\frac{a_ib_j}{a_ib_j+1}\neq 0\right\},\]\[B:=\left\{\sum_{i=1}^{2n}\frac{a_ib_j}{a_ib_j+1}:j\in\{1,\ldots,2n\} \textup{ s.t. }\sum_{i=1}^{2n}\frac{a_ib_j}{a_ib_j+1}\neq 0\right\}.\]Let $m$ be the minimum element of $A\cup B$. Determine the maximum value of $m$ among those derived from all such $4n$-tuples $a_1,\ldots,a_{2n},b_1,\ldots,b_{2n}$. Proposed by usjl.