도움주신 덕분에 (a)는 잘 풀었습니다. 감사합니다ㅠㅠ
그런데 (b)가 요구하는 바를 잘 모르겠습니다.
반례를 열심히 찾아보았는데, n=m^4 (자연수 m)인 경우만 k > ceil(n^1/4)일 때 반례가 존재하고, n > m^4인 n 중 몇몇은 k=ceil(n^1/4)+1 이어도 명제가 성립하는 것 같습니다.(사실 확실하진 않아요)
'n=m^4인 경우에 k=ceil(n^1/4)일 때만 명제가 성립하므로, k는 제시된 bound보다 일반적으로 클 수 없다'라는 식으로 논지를 전개해도 될까요?

- dc official App