You are given a positive integer n. Your task is to find its prime factorization, which is the decomposition of n into a product of its prime numbers. The result should be a list of these prime factors, sorted in non-decreasing order.
12
[2, 2, 3]
12 is divisible by 2, resulting in 6. 6 is divisible by 2, resulting in 3. 3 is a prime number. So the prime factors are 2, 2, and 3.
7
[7]
7 is a prime number, so its only prime factor is itself.
1
[]
The number 1 has no prime factors.
12
[2, 2, 3]