Talk:Natural Logarithm Function is Differentiable

I am doubting as to whether there should be a page 'Natural Logarithm Function is Differentiable' instead, from which then this page concludes its continuity. 'Separation of results' house style seems to demand this. Continuity could also be a corollary. --Lord_Farin 03:14, 23 January 2012 (EST)

I'm tempted to agree. Also suggest we avoid the use of material that is marginally less relevant to the working of the actual proof, e.g. the last line before the QED. --prime mover 04:05, 23 January 2012 (EST)

Agreed to that point. It is in fact in line with the house style, which says '...a formal style is preferred.' GFP, anything to your defense? :) --Lord_Farin 05:24, 23 January 2012 (EST)

If I do not want my writing to be edited mercilessly, then I should not submit it here. :) Also, see me declaration of intent on my user page. My contributions are for the wiki, not for me. --GFauxPas 06:25, 23 January 2012 (EST)