Как бы я определил рекурсивную функцию, чтобы найти наибольшую степень двойки меньше, чем входное число в VDM? Функция выглядит следующим образом: самый большой: N -> N Все, что у меня есть до сих пор, это: самый большой (п) = если n=1,...