Biểu diễn thuật toán bằng ngôn ngữ tự nhiên của bài toán: Tìm số nguyên dương k nhỏ nhất sao cho 2 mũ k lớn hơn n là một số nguyên dương