LKLogic is live! Which is larger? Math Olympiad Problem