products/sources/formale sprachen/PVS/ints/max_below.pvs