给定两个正整数 $a$ 和 $b$，假设所有操作的数据存储在 unsigned long long 类型（允许自然溢出），并且只能使用加减乘除四则运算，只能通过判断某个表达式值是否为 $0$，如何在该条件下比较 $a$ 和 $b$ 的大小