武汉竞赛题：求满足不等式的x最小正整数，不简单啊