% % % Input: integer positive (natural) n. % Output: the highest prime number p such that p