Since , the second local hypergeometric solution is
Under , it must be a constant multiple of the independent elementary solution . As , both and are asymptotic to one another, while . Matching the normalized hypergeometric factor, whose value at zero is one, gives
Consequently the hypergeometric sine identity is