祖冲之
That was the famous Zu Chongzhi inequality.