Welcome to the Monastery  
PerlMonks 
Re^4: Closest factor less than sqrt(N) [proof]by sleepingsquirrel (Hermit) 
on Feb 21, 2005 at 00:13 UTC ( #432917=note: print w/ replies, xml )  Need Help?? 
Here's an informal proof of our conjecture "The factor of N closest to sqrt(N) is less than sqrt(N)".
 All code is 100% tested and functional unless otherwise noted.
In Section
Seekers of Perl Wisdom

