一个证明有界性的数学问题