MathDB
g(a,b,c)\ge \sqrt{2abc}

Source: Tuymaada 2014, Day 2, Problem 4, Senior League

July 12, 2014
calculusintegrationanalytic geometrygeometrymodular arithmeticnumber theoryTuymaada

Problem Statement

Let positive integers a, b, ca,\ b,\ c be pairwise coprime. Denote by g(a,b,c)g(a, b, c) the maximum integer not representable in the form xa+yb+zcxa+yb+zc with positive integral x, y, zx,\ y,\ z. Prove that g(a,b,c)2abc g(a, b, c)\ge \sqrt{2abc}
(M. Ivanov)
[hide="Remarks (containing spoilers!)"] 1. It can be proven that g(a,b,c)3abcg(a,b,c)\ge \sqrt{3abc}. 2. The constant 33 is the best possible, as proved by the equation g(3,3k+1,3k+2)=9k+5g(3,3k+1,3k+2)=9k+5.