求满足x小于等于4√3非负整数x