Given an integer k≥2. Prove that there exist k pairwise distinct positive integers a1,a2,…,ak such that for any non-negative integers b1,b2,…,bk,c1,c2,…,ck satisfying a1≤bi≤2ai,i=1,2,…,k and ∏i=1kbici<∏i=1kbi, we have
ki=1∏kbici<i=1∏kbi.