is guaranteed to be less than  wit

is guaranteed to be less than  with probability at least

ผลลัพธ์ (ไทย) 1:

จะรับประกันได้ว่า less than มีความเป็นไปได้น้อย

ผลลัพธ์ (ไทย) 2:

มีการประกันเพื่อจะน้อยกว่า? มีความน่าจะเป็นอย่างน้อย

ผลลัพธ์ (ไทย) 3:

มีรับประกันจะน้อยกว่า  กับความน่าจะเป็นอย่างน้อย