a≤b3