This yields a contradiction, so no such strongest believed proposition B with a least upper bound ca...