Los matemáticos chinos Fang y Chen demostraron esta inferencia en 2007.