void f (int n)
{ for(int i = 1, int j = n; j > i; i <<= 1, j--); }

Я пришел к тому, что нужно искать наибольшее целое решение неравенства `2^i < n - i`, при котором цикл еще выполняется. Подскажите, как следует решать такие неравенства.