Vi do solo un piccolo suggerimento poi vi lascio fare.
Se k fosse molto grande (diciamo un miliardo) la vostra soluzione ci metterebbe troppo tempo, dovrebbe fare un miliardo di cicli. Conviene partire da K e vedere se i numeri successivi sono multipli di 4.
Per vedere se un numero è multiplo di un altro si usa l' operatore modulo '%':
if (i % 4 == 0) // vuol dire che i è multiplo di 4
Il modulo è il resto della divisione, se un numero diviso un altro ha resto zero vuol dire che è multiplo.