エレベーターが2台ないと仮定する。
題意よりエレベーターは1台以上存在するものとして考えてよいので、エレベーターが1台のときを考えればよい。

緩和係数をK(＞0)として
エレベーター1台の苛緩和を考えると
K≧Wである。
ここでWはエレベーター1台の苛緩和を表す。
これは苛緩和の存在に矛盾。
よってK＜WなるW(これは定義よりX)
エレベーター2台の苛緩和Xとなりエレベーターが2台あるとき苛つきは緩和される。