When using a half-angle identity to find the value of sin 15 degrees, what angle should be used in the formula?
a) 15 degrees
b) 30 degrees
c) 45 degrees
d) 60 degrees