Nie, nie istnieje. Musiałbyś znać minimum jeden z tych czynników, albo wiedzieć czy liczba jest liczbą pierwszą. Bez tego - ani rusz. Ewentualnie, mógłbyś założyć, że tymi czynnikami są liczby: 1 i n, i wtedy z góry zwracać (1+n)/2.
Dla liczb niepierwszych istnieje więcej niż jedna para liczb a*b=n (z definicji liczb pierwszych).