http://qs1969.pair.com?node_id=432924


in reply to Re^4: Closest factor less than sqrt(N) [proof]
in thread OT: Finding Factor Closest To Square Root

sleepingsquirrel++

Makes sense to me--but then my version did (to me) too :)

Who'd've thunk it--even informality is relative :)