Talk:Hard analysis